[OSASK 6575] non-title

松田で御座います。

一点のみみなさまあて:

川合さん@6574

> ・僕は「絶対にできる」という立場をとっておりません。「やってみな
>   ければ分からない」です。それに対して無駄というからには、できな
>   い証明が必要です。この証明は極めて困難です。

その証明は実質的に不可能です。

なぜなら:可能であることの証明はたったひとつの実例を挙げれば
すみますが、不可能であることの証明は、考えうる限り総ての例を
検証しなければならないからです。

…おれがいま日本語プログラミング言語「T」ないし「ひまわり」
をつかって、こともあろうに高級言語で作ろうとしているトンデモOS

「松田新平君は齋藤まひろさんを愛している」ver.0.0001

が走ったあかつきにでも不可能でなければならないのですよ。

#まあ、現時点では仕様書さえもないのですがねっ


/追記:あなたはほんっっっとうに面白い方です川合さん。大好き


ML番号でジャンプ
ML単語検索