NHKから国民を守るプログラミング言語 - Qiita
国民からNHKからNHKから国民からNHKを守る党を守る党からNHKから国民から国民を守る党を守る党からNHKから 国民からNHKを守る党を守る党からNHKから国民からNHKからNHKから国民を守る党から国民を守る党を守る党を守 る党を守る党から国民を守る党を守る党を守る党を守る党を守る党から国民から国民を守る党を守る党からNHK から国民からNHKを守る党を守る党から国民を守る党からNHKからNHKから国民からNHKを守る党を守る党から国民 を守る党を守る党からNHKから国民を守る党から国民を守る党を守る党を守る党からNHKから国民からNHKを守る 党を守る党から国民を守る党からNHKからNHKから国民からNHKを守る党を守る党から国民を守る党を守る党からN HKから国民を守る党から国民を守る党を守る党を守る党からNHKからNHKから国民からNHKを守る党を守る党から 国民を守る党を守る
Hello, world! ふたたび - Life Goes On
R 教授による S 大学での講義録。 はじめに えー、前回の講義からだいぶ間が空いてしまったが、講義を始めたい。 今回はクワインについて話す予定であったが、その前にもう一度だけ Hello, world! について話をさせてほしい。 前回の講義の直後、irori 氏によって、399bytes の Hello, world! の存在が証明された。 その詳細について氏は何も語らなかったが、今年の 7 月になってソースコードが公開された。 それを解読した結果、および解読の過程で新たに得られた知見について、今回の講義では話をしたいと思う。 ロジックの見直し（451） 前回の講義で "Hello, world!" という文字列に対応するチャーチ数を得るため、 <27> + f <73> <81>という式を提示した。だが、どうやらこれは少々複雑に過ぎるようである。 <28> + f <80>という式の
Lazy K Playground - iroriの日記
Lazy K もブラウザ上で実行できるようにしたいなぁ、でも JavaScript でインタプリタ実装するの面倒だなぁ、と思っているうちに世の中が進歩して簡単になったので作ってみました。 http://lazy-k.appspot.com/ いくつか例を。 http://lazy-k.appspot.com/p/kyYMG82oRh http://lazy-k.appspot.com/p/2koJ2YQ9fD App Engine はコードの保存のために使っているだけで、実行はブラウザ上で行われます。バックグラウンドでインタプリタを動かすのに Web Workers を使っている関係で IE9 以前では動きません。ごめんなさい。 適当なベンチマークもしてみました。ベンチマークといえば円周率、ということで円周率を100桁計算するプログラムです。 http://lazy-k.appspot.c
ヘッズのための純粋関数型言語「Lazy SLYR」 - モナドとわたしとコモナド
ドーモ、変数スレイヤーです。 Brainf*ckめいた派生言語が作られる前に、ニンジャスレイヤーを基にしたニンジャヘッズのための言語「Lazy SLYR」を作ってみた。 ◆Brainfuck派生ではない◆ ◆Lazy K派生でもない◆ ◆独自性重点◆ ◆純粋な◆ Hello, world! イヤーッ！イヤーッ！イヤーッ！グワーッ！グワーッ！グワーッ！イヤーッ！イヤーッ！イヤーッ！グワーッ！イヤーッ！グワーッ！グワーッ！イヤーッ！イヤーッ！イヤーッ！グワーッ！イヤーッ！グワーッ！グワーッ！イヤーッ！イヤーッ！イヤーッ！グワーッ！グワーッ！グワーッ！イヤーッ！イヤーッ！イヤーッ！グワーッ！イヤーッ！グワーッ！グワーッ！イヤーッ！イヤーッ！イヤーッ！グワーッ！グワーッ！グワーッ！イヤーッ！グワーッ！イヤーッ！グワーッ！グワーッ！イヤーッ！イヤーッ！グワーッ！グワーッ！グワーッ！イヤーッ！イヤーッ
究極の関数型言語による至高のHello, world! - Life Goes On
以下の記事は、 R 教授による S 大学での講義録を Haskell Advent Calendar 2012 のために転載したものである。 はじめに えー、それでは、今年最後の授業を始めたいと思う。今日は『究極の関数型言語による至高の Hello, world!』について講義することにしたい。 “究極”の関数型言語が何であるかについては諸説あろうが、ここでは SKI コンビネータ計算を指すものとする。また“至高”の定義を、最も簡潔であること、すなわち最も短く記述されていることと定める。 諸君は第一プログラミング言語として Haskell を選択している者がほとんどであろう。当初この講義も Haskell をベースに行おうと考えていた。だが、Haskell は非常に巨大な言語となってしまっており、言語仕様を把握するだけでも難しい。だいたい STG が Spineless Tagless G
RazyK - Rubyで実装した純粋関数型言語LazyK処理系 - ruby trunk changes
RazyK をリリースしました。RazyK は Ruby で実装した純粋関数型言語 LazyK の処理系です。 インストール rubygems.org に gems パッケージを登録してあります。gem コマンドでインストールできます。 $ gem install razyk 依存ライブラリ等 以下の gems パッケージに依存しています。 rack ruby-graphviz また ruby-graphviz を利用するためには GraphViz がインストールされていて、dot コマンドが利用できないといけません。 [追記]大事なことを書き忘れていました。Ruby 1.9 でしか動作確認していません。1.8 だと動作しないかもしれません。[/追記] [追記]1.8 で存在しないメソッドを利用していたところがあったので修正して 0.0.1 をリリースしなおしました。[/追記] 使いかた
ということで、print-as-golf - 週1でも日記
コンビネータ算法スタイルの Lazy K のソース*1を手でゴルフ用に整形*2するのが面倒くさくなったので、print-as-golf を書いてみたよ。これが最短だという保証はないけどね。 使う時は lazier.scm の print-as-cc や print-as-unlambda と同じ様に (print-as-golf (laze 'foobar)) とか (print-as-golf (laze '(lambda(a)(foobar a)))) ってしてね♥ (define (print-as-golf code) (display-as-golf code) (newline)) (define (display-as-golf code) (letrec ((print-leaf (lambda(leaf) (if (memq leaf '(s k i)) (display
Lazy K インタプリタ修正 - iroriの日記
この前作ったインタプリタ にバグを見つけてしまいました。 特定の位置で GC が走ると、出力リストの cdr を辿る処理が動かなくて、ごく希に同じ文字を２度続けて出力してしまってました。 修正したソースコードはこちら。 lazyk.c (github) ゴルフ場のインタプリタはすぐに更新していただきました。ありがとうございます！
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
