雑談といいながら掲示板が何だか悲しいです。今回の年末年始になにか新しいことをしてみようとイラロジを解くソフトを作ってみることにしました。いい感じになって、LogiNekoの5倍以上くらい速くて、精度が高くて、背理法で3回まで仮定してくれるソフトになりました。ソースの中身はヘッダファイル?にすべての実装を書いた素人丸出しのものです。私が鬱という名前で投稿した問題なら難易度8や9の問題も含めて全て複数解なしと判定しながら結果表示してくれます。Github?とかいうとこに公開してみたけど、一週間くらい経ってもまだ一人も来ないので悲しい感じです。Releaseに実行ファイルのzipも置いてあるはずです。本当に興味のある方は探してみてください。一助になると嬉しいですね。ID:yhWfM入力形式を合わせていただけたので、コピペであっさり組み込めました。サンプルで何問か動かしてみましたが、たしかにプロ向けの問題も解を見つけ出せるのでチェックの精度が上がりそうです。ありがとうございます。ID:U1EUgおー、こちらこそありがとうございます。これで少しは使ってもらえてうちのソフトも成仏できるでしょう。難問には間違いなく強くなると思います。複数解の要因がたくさんあると全く解けなくなる事もあります。あの子に解けないような問題は反省すべきなのでしょう。ID:VcmiA複数解チェックが爆速になってて仰天しました。じつは、ご紹介のサイトを探してちらっと覗かせていただきましたが、よく分からなくて退散しました。_)>もっともわたしはLogiNekoで解ける程度のモノしか作らないので自分で動かしてみようとまでは思ってなかったし、使えるスキルもありません。掛かった時間をちょっと難易度の目安にしようかと思います。LogiNekoの計算ログは必ずしも難易度を反映していないみたいですしね。ソフトの出来への賛辞と複数解チェック改良への感謝です。ありがとうございました。ID:zxLl2わざわざありがとうございます。感想をいただけてやっと形になった気がして嬉しいですね。難易度は、人にとっての難易度とソフトにとっての難易度はかなり違うなぁというのが私の印象です。あとブラウザ版は速度があまり安定しないですね。chromeでやってみると最初の一回だけ遅かったり・・・とにかく解析時間だけでは難易度は分からないかなぁという気がします。驚きを通り越して笑いが出てしまったのを覚えています。難易度については、探索したSTEP数とか、背理法を使った回数とか何かしらデータがあると参考になるかもしれませんね。(・・・と言って、しれっとリクエストしてみる^^)思いつきで言っているので、実際に参考になるか分かりませんが。▼次スパム投稿があまりに多く、他の記事がすべて過去ログに流れてしまいました。掲示板変えようかな・・・。