テスト駆動開発から証明駆動開発へ #JTF2019 / July Tech Festa 2019July Tech Festa 2019 で使用したスライドです。 近年、テストを書く文化は広く普及しており、開発フローにおいて自動テストを組み込むことはもはや常識となりました。しかしよく考えてみると、有限個のテストケースが保証しているのは、所詮「特定の有限個の入力に対する出力」にしか過ぎません。…
世界で一番ピュアな論理型プログラミング言語Hilbert(ヒルベルト)をRubyで作った. - Qiita
あいさつ こんにちは. 皆さん如何お過ごしでしょうか. 本日の日付を確認致しましたらもう2014年も残り一月半と改めて認識させられ驚いています. こうも時間の流れが早いと死ぬのもすぐですね. 懸命に生きようと思います. さて今回はHilbertという論理型プログラミング言語を作りました. （カジュアルに作ってるように見えますが、割と本気です.） まだまだやるべき事は本当に多くて、飴ちゃんあげるのでコミッター大募集です. （今ならカントリーマームもつけるのでお願いします.） HP: http://hilbert-lang.org/ja/ Github: https://github.com/gogotanaka/Hilbert 前座 世界で一番ピュアで豊かなプログラミング言語 この言語で仮定されているのは恒真（トートロジー）のみです. （厳密に言うと自然演繹も仮定されていますが.） 当初、自
かしこい人のニュース読解法／議論の苦手な人は何ができていないのか - デマこいてんじゃねえ！
ヒトは「頭の使い方」を覚えると賢くなる生き物だ。 かけ算九九しかり、元素記号の語呂合わせしかり、丸暗記してしまうことで思考をスピードアップできる。理系大学生のサイフは平均的に文系大学生のサイフよりも軽い。なぜなら彼らは数字に強く、「おつりのコインを最小にする計算方法」を身につけているからだ。それに加えて実験とレポートに追われてバイトができないという涙ぐましい事情がある。 私は学生時代に、ちょっとだけ英語ディベートをやっていた。その時に先輩に教えてもらった「ニュースの読み方」が今でも役に立っている。ニュースを読むにはトレーニングが必要で、読み慣れないうちは、「なにが問題なのか分からない」のが最大の問題となる。逆に「読み方のテンプレート」を覚えてしまえば、そのニュースの論点を即座に見抜けるようになる。かしこい人はこうやってニュースを読むのか！ と当時は感心した。 今回のエントリーでは、その一部
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
数学オリンピックで14,15歳向けに出題された論理パズル問題が難問すぎて脳がパンクしそう
NIKKEI STYLEは次のステージに
