線形論理とコンピュータ革命 - 言語ゲーム

テクノロジーカテゴリーの変更を依頼記事元:

propella.hatenablog.com

11 usersがブックマークコメント

コメント

1

記事へのコメント1件

注目コメント
新着コメント

nanakoso 線形論理

2007/07/30 リンク

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

規約違反を報告

アプリのスクリーンショット

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

関連記事

線形論理とコンピュータ革命 - 言語ゲーム

週末は Linear Logic and Permutation Stack -- The Forth Shall Be First http://home.pipeline.com/~h... 週末は Linear Logic and Permutation Stack -- The Forth Shall Be First http://home.pipeline.com/~hbaker1/ForthStack.html 読んでいた。思ったのは、線形論理が私の人生の疑問の半分くらいを解決するだろうという事。そしてアランさんの言うコンピュータ革命とはこういう事なのかも知れないという事。身分不相応にも未来を予測してみる。近い将来、小学校で習う算数は線形論理に基づいた物になる。未来の子供達は、カッコや優先順位や変数に悩まされる私達の数学を見て、何て野蛮で非能率なのだと言うだろう。まるで我々が漢数字やローマ数字の数学を、きわめて技巧的で非論理的だと思うように。線形論理に基づくプログラミングとは、変数の使用を一度しか認めないプログラミングの事を言う。一度しか認めなくてプログラムなんか

ブックマークしたユーザー

yojik2014/02/25
mnru2012/05/26
Nihonjin2011/10/21
takuto_h2010/03/14
nsyee2008/05/03
jjzak2007/12/21
nanakoso2007/07/30
cloned2007/07/30
zee82007/07/30
sshi2007/07/30

同じサイトの新着

同じサイトの新着をもっと読む

いま人気の記事

いま人気の記事をもっと読む

いま人気の記事 - テクノロジー

いま人気の記事 - テクノロジーをもっと読む

新着記事 - テクノロジー

新着記事 - テクノロジーをもっと読む

設定を変更しましたx