inquisitor先日CodeIQで、巡回セールスパースン問題を出題しました。あるので、これを使えば簡単なはずでしたが、実はそこにはトラップがあったかもしれません。11.2で未解決なのは3番目のみです。7}}という4点を通る最短巡回路を求められませんでした。仕様がマニュアルと違っていました。6}}」で、仕様とは違っていました。536870913}}]浮動小数点で近似値だけでも・・・と思っても、やはりダメな場合があります(カーネルが落ちます)。"IntegerLinearProgramming"」を付けておくとうまくいくと、サポートから教えてもらいましたが、計算はできても結果が正しくない場合があります。(この例でオプションを外すとカーネルが落ちます。何も気にせず使えるようになるにはまだ時間がかかりそうです。2013)(参考文献リストあり・索引なし)チョムスキー階層のすべてに対応するオートマトンを「扉を持った遺跡」に例えて組み込んだファンタジー。計算理論の基礎を学ぶのにはふつうの教科書の方がいいだろうが、ひと通り学んだ後なら楽しめるだろう。計算複雑性の理論など、進んだ話題を扱う続編に期待。線形拘束オートマトン(ゼウ山の塔)への入力が、○と●という2つのボタンなのだが、塔はどうやって入力の終わりを認識しているのだろう。2014)(参考文献リストなし・索引なし)私、2010年に『コンピュータが仕事を奪う』という本を書いたんです。経済学者や教育学者、あるいはマスコミの人たちや政治家が、あまり深刻に受け止めてくれなかったんですね。すごくショックだった。近未来に必ず起こる危機なのに誰もまともに聞いてくれないなんて。これはまずいな、と思ったんです。そこで考えたわけです。東大に入るロボットを作ると言って、それがある程度、たとえば東大に入らなくても大学に半分入るとか、それなりの大学に入るっていうことになったら、人は真面目に考えてくれるかもしれない。(p.219)私はまともに聞いて、深刻に受け止め、そしてまずいな、と思っています。細かいことをいくつかアニメのCGを作るときに使われるソフトも、初音ミクに歌を歌わせるソフトも、みんな数学だけでできているのです。将棋やチェスと違い、東大入試はルールを変えられます。東大入試が全部面接になると、このプロジェクトはチューリングテストへの合格を目指す人工知能の一般的なチャレンジと同じになります。その代表的なコンテストであるローブナー賞に合格したAIはまだありませんが、p.94の記述は、そういうAIがすでにあると誤解されるものになっています。東大入試が変わらないとしても、1983年の日本史のように、「部外者がちゃんと採点できるのか」という問題があります。入試問題とAIの関係については、ほかにもいろいろ考えさせられることがあります。いつかどこかでまとめましょう。ロボットは恋人になり得るか、がより深刻です。2013)(参考文献リストあり・索引あり)『数学ガール』で独自のジャンルを打ち立てた著者による文書読本。5章)、3教科書のようなものを書く人向けの部分(6章)からなる。コンパクトにわかりやすく書かれているのがとてもよく、1の部分、特に最初の3章は、いわゆる理系ではない人にも勧められる。タイトルに「数学」が入っていることが、理系でない人に勧める際の大きな障害だ。文章読本はほかにもいろいろあるが、本書には、『数学ガール』の執筆において著者がしている工夫を垣間見るという、副読本的な楽しみ方ができるという特徴がある。例示Aすると、『数学ガール』で例示Bが少ないところは、著者にとって理解Bが難しいところの例示Cなのだと、理解Cするようになる、と理解Aした(「例示は理解の試金石」)。eは定数」などという文字の使い方がp.104で紹介されていて、こういうことまで教えるのはさすがだと思ったのだが、これはどのくらい一般的なものなのだろうか。1981)の、「式も文の一種とみてコンマやピリオドをつける(p.168)」というたてまえを、採用しないのはいいとして、紹介くらいはしてもよかったのではないだろうか。