[B! プログラム] zanastaのブックマーク

zanasta id:zanasta

プログラムに関するzanastaのブックマーク (3)

プログラムに証明が付く日 | RANDMAX
この記事は「Theorem Prover Advent Calendar 2013」6日目の記事です。 http://qiita.com/advent-calendar/2013/theorem_prover 神田「野らぼー」にて、地下の薄暗い店内で… 「そう言えばこないだ隣で起こってたポインタオーバーラン、対応大変そうだったですけどちゃんと家に帰れてたんでしょうかね、新婚なのに…」「ヌルポとかポインタオーバーランとか、どうして無くならないんだろうね。その時はみんな手を抜いてるつもりなんて毛頭なくて、一生懸命考えて大丈夫だと思ってるはずなんだけどね。レビューもして、それでも起こった後でみんなでソース見てみると、なんで気づかなかったんだよ！ってことになる。」「人間って、そういうの苦手なんでしょうねきっと。ほら、『何かほかにありませんか』って聞かれても出てこないじゃないですか。静的な解析っ
zanasta 2013/12/06
プログラム

テスト
リンク
Quine リレー - まめめも
ref: https://github.com/mame/quine-relay/ 以下は、自分自身を出力する REXX プログラムを出力する Python プログラムを出力する R プログラムを出力する (...略...) を出力する Scala プログラムを出力する Ruby プログラムです。合計 50 言語を使います。 eval$s=%q(eval(%w(B=92.chr;N=10.chr;n=0;e=->(s){s.gsub(/[#{B+B+N}"]/){B+(N==$&??n:$&)}};E=->(s){'("'+e[s]+'")'} ;d=->(s,t=?"){s.gsub(t){t+t}};D=->(s,t=?@){s.gsub(B){t}};Q=->(s,t=?$){s.gsub(t){B+$&}};puts(eval(%q("objectXQRX extendsXApp{
zanasta 2013/07/16
これはすごい

プログラム
リンク
橋本商会 » 世界一柔軟で好意的に解釈してくれるプログラム言語BabaScriptを作りました
rubygemsでインストールできます % gem install babascript ソースコードはこちら https://github.com/masuilab/babascript BabaScriptとはコンピュータが得意なことはコンピュータに、人間が得意なことは@takumibabaが処理するプログラム言語です使用方法ワンライナー % baba -e "アイス買ってきて" 馬場スクリプトはRuby風に書ける言語で、日本語で書いた部分は馬場くんが実行してくれます test1.bb #!/usr/bin/env baba if 0 < Time.now.hour and Time.now.hour < 5 もう寝ろ！！ else 意識を高めてコードを書こう！ end 実行 % baba test1.bb 0時から5時の間は寝ろ、という指令が送れます。 Rubyの中に馬場スクリ
zanasta 2013/06/21
酷すぎる(笑)

プログラム
リンク
1