数独スコアラー説明書
windowsストアで販売中の数独採点アプリ「数独スコアラー」の説明です。
www.microsoft.com
使い方
①テキストボックスに数独の問題を入力します。半角数字のみで、空白を0として入力します。
正しく入力できた場合、解くボタンが押せるようになります。
②解くボタンを押すことで問題を解きます。解けた場合はスコアが算出され、スコアがびよーんと動きます。
③リセットボタンを押すと問題と盤面とログをリセットします。
④入力した問題を表示する盤面です。
⑤どんな解法ロジックを使用したかなどを表示します。
⑥ここにチェックを入れると問題が解けなかったときに総当たり法で解きます。
スコアが跳ね上がるので注意です。
⑦ここにチェックを入れるとどの解法ロジックを使用して解いたかをログに表示します。
解くとこんな感じになります。
※問題は「超難問ナンプレAクラス2」より引用
処理解説
CRBE法→単一候補法→単一マス法の順で適用した後、
共有候補法→双子法→対角線法→三つ子法の順番で解放ロジックを適用していきます。
適用できた場合は単一候補法と単一マス法をやれるだけやって、再び共有候補法から適用します。
これを解けるか解けなくなるまでループします。
終了するまでの探索量を難易度スコアとしています。
具体的なロジックの説明は次項でします。
※盤面図や解法名はhttps://www.oit.ac.jp/japanese/toshokan/tosho/kiyou/rikouhen/56-1/01r.pdfから引用
解説の前に
数独の盤面をi行j列の行列(i,j)として扱います。
ブロックも行列[i,j]扱いにします。
CRBE法
ある数字が入り得るマスを周辺の列(column)、行(row)、ブロック(block)から絞り込む(elimination)方法です。
下図では一番数の多い8を対象にします。
ブロック[1,3]を見ると、空きマスは(1,7)、(2,7)、(2,8)、(2,9)、(3,7)にあります。
すると、(1,5)に8があるため、1行目には8は入りません。
また、(2,1)にも8があるため、2行目にも8は入りません。
よって、下図のように(3,7)にしか8が入らないことが分かります。
こんな感じでほかのにも適用していきます。
単一候補法
あるマスに候補数字が一つしかなければそのマスはその候補数字で確定するというロジックです。
下図で○のついた候補数字4のあるマスは4以外の候補数字がないため、このマスは4で確定します。
単一マス法
ある候補数字がマス(i,j)にしか入らないことが分かっているとき、
その候補数字以外の候補数字はマス(i,j)から消去されるというロジックです。
下図で○のついた候補数字2はこのブロック内で1つしかないため、このマスは2で確定します。
双子法
独立双子法
独立双子法は同じ行、または同じ列、または同じブロックの中で候補数字が2つしかなく、
かつ候補数字が同一である2つのマスがあったとき、
その2マスを含む行、列、ブロックのその2マス以外のマスにその2つの候補数字は入り得ず、
候補から消去されるロジックです。
下図の(2,5)、(2,6)を見ると候補数字が2と3しかありません。
したがって、この2マスを含む行、列、ブロックには2と3は入らないため、
下図のように(2,1)と(2,3)の候補数字から2が消去され、
(1,4)と(1,5)の候補数字から2と3が消去されます。
居候双子法
同じ行、または同じ列、または同じブロックの中の2マスに共通の候補数字が2種類あったとき、
かつその候補数字がその2マスにしか入らないとき、
その2マスの候補数字から共通の候補数字以外の候補数字は消去されます。
下図の1行目を見ると、この行内で候補数字8、9はマス(1,4)、(1,5)にしかないことが分かります。
よってマス(1,4)、(1,5)のどちらか一方に8が、もう一方に9が入るので、
下図のように、マス(1,4)、(1,5)の8、9以外の候補数字は消去されます。
三つ子法
基本的に双子法の拡張です。
独立三つ子法
独立三つ子法は同じ行、同じ列、同じブロックの中で候補数字が3つしかなく、
かつ候補数字が同一である3つのマスがあったとき、
その3マスを含む行、列、ブロックのその3マス以外のマスから
その3つの候補数字は消去されるという解法ロジックである。
以下の図に独立三つ子法の例を示します。
マス(1,1)、(2,1)、(3,1)に着目すると、この3マスには候補数字が2、4、6のどれかしか入りません。
よって、このブロック内の他のマスの候補数字から2、4、6 は消去されます。
ここまでなら独立双子法の単純な拡張ですが、三つ子法の適用条件はこれ以外にもあります。
3つの数字から2つを選ぶ組合せは3C2=3通り存在します。
独立三つ子法は少なくともその3通りが揃っていれば適用できます。
3つの候補数字がn1、n2、n3だとしたとき、(n1,n2)、(n2,n3)、(n1,n3)の組が揃っていれば、独立三つ子法が適用できます。
下図を見てください。
n1=2、n2=4、n3=6とすると、どの例でも(2,4)、(4,6)、(2,6)の組が
○をつけた候補数字のあるマスに存在しているため、 独立三つ子法が適用できます。
居候三つ子法
居候三つ子法は同じ行、または同じ列、または同じブロックの中の3マスに共通の候補数字が3種類あったとき、
かつ、その候補数字がその3マスにしか入らないとき、
その3マスにある候補数字から3 種類の候補数字以外の候補数字は消去されるという解法ロジックです。
下図のマス(1,3)、(2,3)、(3,3)に着目すると、この3マスにしか候補数字7、8、9は入らないことが確定しています。
よって、マス(1,3)、(2,3)、(3,3)から7、8、9 以外の候補数字は消去される。
居候三つ子法の場合も独立三つ子法と同様に、3種の数字のうち少なくとも2種が揃っていれば適用できます。
共有候補法
共有候補法は、あるブロックとある行(または列) で共有するマスの情報を用いる解法ロジックです。
ブロックの情報から行(または列) の候補を消去する方法①と
行(または列) の情報からブロックの候補を消去する方法②がある。
①を下図で説明します。
ブロック[1,2]ではマス(1,4) か(1,6)にしか6が入りません。
よってこの2マスを共有する1行目のマス(1,1)、(1,2)から6は消去されます。
次に②を下図で説明します。
1行目ではマス(1,4)か(1,6)にしか8が入りません。
よってこの2マスを共有するブロック[1,2]のマス(3,4)、(3,5)、(3,6)から8は消去されます。
対角線法
下図に対角線法の例を示します。
○をつけた候補数字5は(2,5)、(2,9)、(6,5)、(6,9)に存在しています。
このとき、(2,5)に5が入ると、2行目と5列目の(2,9)、(6,5)に5は入りません。
よって(6,9)に5が入ることが確定します。
逆に、(2,9)に5が入ると、2行目と9列目、すなわち(2,5)、(6,9)に5は入りません。
よって(6,5)に5が入ることが確定します。
つまり、左上に入れば右下に、右上に入れば左下にと、この2パターンしか候補5の入る組合せはありません。
したがって、候補5がどちらのパターンで入ったとしても、
(2,5)、(2,9)、(6,5)、(6,9)以外の2行目、6行目、5列目、9列目のマスの候補数字から候補数字5は消去されます。
対角線法は下図のようにマスに入った数字を用いても適用できます。
数字9は3列目でマス(3,3)、(6,3)のどちらかに入り、7列目では、マス(3,7)、(6,7)のどちらかに入ります。
この場合でも数字は対角線上に配置されることになり、
マス(3,3)、(6,3)、(3,7)、(6,7)を除いた3行目と6行目のマスに9が入らないことが分かります。
【C#】数字文字列を総和する
LINQのSumを使いたかっただけ。
using System; using System.Linq; static void Main(string[] args) { string numStr = "1234567890123456789"; int sum = numStr.Sum(s => s - '0'); Console.WriteLine(sum);//90 }
CEATEC2017に行った
幕張は遠いっすね。
展示会というと会社員ばっかで私服は浮くかなと戦々恐々としてたが、全くの杞憂だった。
そりゃスーツ率のほうが圧倒的に多いんだけど、ふつうに私服の人もいたし、高校生っぽいのもいたし、爺さんもいた。
とりたてて何か見たいものがあるわけではなかったが、一度行ってみたかったので。
やっぱりAIやIoT関連が多かった。
VRに仮想通貨、ドローンもあったし、トレンドをつかむには良かったと思う。
(いま気づいたがホール456しか回ってなかった)
当たり前だけどTDKとか大手はやっぱり壁に配置されるんだなと思った。
以下気になったやつを適当に。
超電導で動くリニアっぽいデモ。
CEATECの超電導デモのやつ https://t.co/P3my4QEtMW pic.twitter.com/qE5jPjOpuO
— さうと (@whitepapersort) 2017年10月7日
やっぱり動きがあると目立つなぁと思った。
通信高速化とか視覚化しづらいものはどうしても気を引かれにくい。
タカラトミーのブースで、COZMOというおもちゃがあった。
Scratchみたいなプログラミングができるロボットらしい。
バンナムのとこのラジコンロボット。輸入してるだけっぽい?
グネグネ動いてキモい。
こちらもかんたんなプログラミングで動きをいじれるらしい。
誰でもプログラミングに触れられる時代はもうやってきていると感じた。
ハロはガンダム知らないのでスルーした。
NICTのブースで目を引いたのはWISDOM Xという検索システム。
wisdom-nict.jp
適当に単語を入力すると質問文を生成してくれる。
思いもよらない結果を出してくれるのは面白いと思う。
「全巻一冊 北斗の拳」という、紙媒体の中に電子ペーパーを突っ込んだやつのデモがあった。
さすがにページをめくるわけではなく、ボタン押下でページ送りする形態。
以前からめくれる電子ペーパーがあればなぁと思っていて、要するに製本風の電子ペーパーにデータをDLすると中身が変わるようなのを想定しているのだが、当然それぞれページ数が違うので無理だなと思っていた。
でもこれみたいにページ数を固定してしまえば可能なのかなとも思った。
コンテンツがハード依存になるというのが問題だけど。
やたら名前のかっこいい炎重工。
自動無人ボートが目を引いた。
指定コースをぐるぐる回ってくれるらしい。
NEDOの展示で面白かったのはセンサーへの攻撃に対する防御の話。
IoTが流行るということはセンサー類も多用されるわけで、当然攻撃対象にもなる。
自動運転車のセンサーを狂わせて事故らせるとかやられたら大変だしね。
こういうセキュリティも必要なんだと感心した。
あと量子コンピュータのポスターもあった。
量子コンピュータとは書いてなかったけど、組合せ最適化問題が高速に解けるとあったし実質そうだろう。
海外の会社も参加してたんだけどガラガラでかわいそうになった。
担当が通話可能か判別しづらい外人だし、解説ポスターも英語だし、あれじゃあ近寄りがたいわ。
なんで参加したんだろう。
その海外企業ブースの展示。
説明がなかったので分からないが3Dホログラムらしい。
横に回ってみてもちゃんと形になっていた。
目を引く分、ここは人が集まっていた。
2時間ぐらいうろついて足が痛くなったから帰った。
【C#】自分がリツイートしたツイートをリンク付きでHTML出力するアプリとコード
RTしたツイートだけ確認したいなぁと思ったら検索クエリにないので自作。
DLはこちら
使い方
1.ツイッターの全ツイート履歴をダウンロードしてください
Twitter、「全ツイート履歴」をダウンロードできる機能、日本でも提供開始 -INTERNET Watch Watch
(フォルダ内のtweets.csvを開けば大体確認できるけどダルい)
2.ダウンロードした中身を適当なフォルダにつっこんで、そのフォルダをアプリにD&Dしてください
3.RetweetData.htmlが吐き出されるので開くとリンク一覧が出ます。
一部の文が途切れてるのは元データの仕様です。
コード
using System; using System.IO; using System.Collections.Generic; using Microsoft.VisualBasic.FileIO; namespace TweetDataExtractor { class Program { static void Main(string[] args) { var path = args[0] + @"\tweets.csv"; using (var parser = new TextFieldParser(path)) { parser.TextFieldType = FieldType.Delimited; parser.SetDelimiters(","); var urlList = new List<Tuple<string, string>>(); //一行目読み飛ばし parser.ReadFields(); while (!parser.EndOfData) { var row = parser.ReadFields(); //リツイートならば if (row[6] != string.Empty) { //本文の取得 var nameAndText = row[5].Replace("RT @", ""); //ツイートURLの生成 string userName = nameAndText.Split(':')[0]; var twId = row[0]; string twUrl = "https://twitter.com/" + userName + "/status/" + twId; urlList.Add(Tuple.Create(nameAndText, twUrl)); } } //HTMLを作って吐く using (var sw = new StreamWriter(Environment.GetFolderPath(Environment.SpecialFolder.Desktop) + @"\RetweetData.html")) { sw.WriteLine("<html lang=\"ja\">"); sw.WriteLine("<body>"); foreach (var data in urlList) sw.WriteLine("<a href = \"" + data.Item2 + "\" >" + data.Item1 + "</a ></br>"); sw.WriteLine("</body>"); sw.WriteLine("</html>"); } } } } }