https://twitter.com/kinaba のログ (twilog の方が便利です。)
| ふたりHackathon状態！！ | |
| @finalfusion Yes | |
| 午前中: Adaのwikibookのやつを読んでネタをひねりだす。午後: なんかやる、とでもするかー。 | |
| 既存の予約語を組み合わせて新しい言語機能の構文をひねりだすパズルみたいになってる | |
| 予約語作文 finally, this unittest for new class is deprecated. | |
| 冠詞がないとしんどいな。a と an と the が予約語になってる言語が求められている | |
| さっきのは D でした。 | |
| Adaはatもofもinもforもwithも予約語なので前置詞が豊富すぎる | |
| http://d.hatena.ne.jp/next49/20090214/p1 チューリングマシンの停止性問題をここで引用されてるような雑談に持ち込みたがる人は、自分がプログラムを書くのにチューリング完全な言語が絶対必要であると思っているのだろうか、というのが時々に気になる。 | |
| （無限ループのつもりで書いた無限ループを除くと）、停止性が証明できないようなループなんて書かないよね、普通。だからチューリング完全な計算能力なんて実際のアプリケーションには必要ないんだと思うんだけども | |
| もちろん、停止性証明のできる巧い（λ計算、TM、再帰関数の）サブセットを誰も思いついていないから結局フルセットを使わざるを得ないというのが現状なのだけれども。 | |
| すーぱーねむい |