(define 独学 再帰) - 書評 - 素数夜曲:女王陛下のLisp : 404 Blog Not Found
2012年07月16日01:45 カテゴリ書評/画評/品評Math (define 独学 再帰) - 書評 - 素数夜曲:女王陛下のLisp 素数夜曲: 女王陛下のLISP 吉田武 出版社より献本御礼。 夏休み一つかけて取り組みたい吉田独習本が、これでまた一つ。 404 Blog Not Found:This is THE -e^πi - 書評 - オイラーの贈物 新装版 404 Blog Not Found:伝われ、i - 書評 - 虚数の情緒 しかし、今度は紙と鉛筆に加えて、パソコンのご用意も。 本書「素数夜曲」は副題が「女王陛下のLisp」なのだが、実質「素数夜曲」と「女王陛下のLisp」の合冊だといってよい「付録」となっている後者の分量は、「主題」のそれを上回る。 目次 - 東海大学出版会｜書籍詳細＞素数夜曲より 増補改訂版・序 第０夜 梟は黄昏に飛翔する 第１夜 素数のメロディー
這いよれ!新言語 : 404 Blog Not Found
2012年06月20日18:15 カテゴリ1st Day of AprilLightweight Languages 這いよれ!新言語 だとしたら… λ坂真尋がニャルラトリスプにすくわれて始まったアニメ #npca— hiromu1996 (@hiromu1996) June 20, 2012 この実装はないよねーBF方言を新言語と呼んで許されるのは小学生までだよねー 這い寄る混沌：「(」・ω・)」うー(/・ω・)/にゃー」でプログラムが書ける言語「Nyaruko」登場 - ねとらぼ 新言語Hotep(仮名) というわけで召還したのがこちら。名状しがたいんで仮にHotepとよぶことにします。 p( hotep('(」・ω・)」うー(/・ω・)/にゃー(/・ω・)/にゃー')(42) ); p( hotep('(」・ω・)」うー(」・ω・)」うー(」・ω・)」うー(/・ω・)/にゃー(」・ω
Math - 01者で読んでいないと恥ずかしい必読論文 : 404 Blog Not Found
2010年09月30日03:30 カテゴリMath Math - 01者で読んでいないと恥ずかしい必読論文 これは恥ずかしい。 10代で読んでいないと恥ずかしい必読書 - その1 - PictorialConnect 何が恥ずかしいって、なんといってもその分量。 必読っていうなら、なるべく短くなくちゃ。 Binary Lambda Calculus and Combinatory Logic 読むべきなのは、こちら。 John's Combinatory Logic Playground http://homepages.cwi.nl/~tromp/cl/LC.pdf わずか20ページのこの論文は、著者が見いだした Binary lambda calculus (以下BLC)と Binary combinatory logic (以下BCL)の簡潔な説明であると同時に、Binary抜きの
Math - 新言語、(), [] and {} : 404 Blog Not Found
2010年09月28日00:00 カテゴリMathLightweight Languages Math - 新言語、(), [] and {} To Mock a Mockingbird Raymond M. Smullyan [邦訳:数学パズル ものまね鳥をまねる] ()、[]、{}の三姉妹を紹介します。 You gotta love ()! その名は()、読み方は"parens"です。複数形。ペアでないとsyntax errorなので。()は名前であると同時に、Iコンビネータでもあり、そのチャーチ数は1にしてブール演算のif。名は体をあらわす()、もとい格好の例でもあります。 ()が1であることは、以下でご確認いただけます。 /* bool */ var pT, pF; p(cb2bool( pT = parens('((()))') )); p(cb2bool( pF = paren
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
