おびなたのはてな日記 - C++テンプレートは計算完備
KEMURIをチューリング完全にするためにはどうしたらいいか、あるいはどうすればチューリング完全性を判定できるのか、ヒントを探していたら「C++テンプレートはチューリング完全だよー」という論文にたどり着いた。 C++ Templates are Turing Complete（PDF） Boost::MPL みたいなものが実現できるあたり、その可能性は感じていたけどやっぱりか！！但し、チューリング完全だと、いわゆる「チューリング機械の停止判定問題」があるわけで、C++はその問題を避けるために、言語仕様では最低17回の再帰までしか保証しないことにしている。なので、厳密にはチューリング完全ではないところ、これを無制限と仮定しているのがミソ。そして、テンプレートがチューリング完全ならば、（テンプレートを使った）C++プログラムはコンパイルできるかどうか判定する事が一般的にできなくなる*1。 昨年
Excelは関数型言語 - おびなたん☆
sumiiの日記 - 関数型言語マニアのための論文紹介１：Excelは関数型言語 Improving the world's most popular functional language: user-defined functions in Excel 論文の主旨としてはExcelを「世界一有名な関数型言語」とみなして、プログラミング言語論的な発展を模索してみようってところか。紙に出力できる環境がなく、ディスプレイ上でPDFを読むのは辛いので、タイトルとアブストラクトから勝手に判断。 Excelを関数型言語と捉えるところが面白い。確かに、表計算の処理系としての挙動を考えれば関数型にそっくりになるのはもっともで、セルに入っているのは値か関数のみで手続きは無いし、セルは関数オブジェクトと言えるし、「名前（セル）を値で束縛」というのもなんかしっくりくる。ただ、循環参照を計算できないのが惜しい
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
