2010-03-01から1ヶ月間の記事一覧

数学における "regular" と "normal"、「正則」と「正規」のオートマトン理論との関連について

追記:個人的な調べものの一部です。いろいろ言葉遣いとかがわかってない感じに微妙なのはご容赦ください。オートマトン理論の本職の研究者の方が面白いネタエントリの材料にしてくださったので調べた甲斐がありました。

Messy Macro の特徴付け(草稿以前)

Beware of the Turing tar-pit in which everything is possible but nothing of interest is easy. -- Alan Perlis 世の中にはマクロ生成系というものがいくつかありますが、これらはどういう用途で使うのでしょう?明らかに汎用のコンピュータ言語でできる…

『ピンのものがたり』異聞

Mike Muuss, The Story of the PING Program (1999)http://ftp.arl.mil/~mike/ping.html 付録部分です(ちょっとこんがらかるので原文は割愛します)。翻訳の公開について、故 Muuss 氏の関係者に承諾はとっていません。なおこのネタレビューは今も当該書のAma…

PING プログラムの由来(本文のみ)

Mike Muuss, The Story of the PING Program (1999) http://ftp.arl.mil/~mike/ping.htmlan unauthorized Japanese translation by TuvianNavy付録が面白いんですが、ちょっと後回しで、さしあたり拙訳を晒してみるテスト。翻訳の公開について、故 Muuss 氏…