Hilbertは数学における普遍妥当な論理式を機械的に導出可能とする公理系と推論法則を言語内部に構築し、実数学の諸概念を離散世界の抽象物に飛ばす機構を目指した言語です.
fooo↑↑ 動機 僕はただの数学/統計系の学部生で、RやMathematicaなどの言語を強いられる事が多いのですが、 RubyやHaskellやScalaなどのステキな言語を知っていると「ちょっとな〜」と思っておりましたところ、 突然「あ、新しい言語作らなアカン」という不可思議な衝動に駆られ ガッと取り憑かれたように実装し、少し冷静になってQiitaを書いているのが今です. フィードバックを頂きながら育てて行きたいと思います(コミッター絶賛募集中、ワイワイ楽しくやりたいです. アメちゃん差し上げるのでお願いします. ) 現在はコンパイラと4秒くらいで作ったインタプリタがあります. ポリシー 一番大きな観念としては 「紙とペンの感動をキーボードで」 です. 後々の可読性や保守性などはどうでもよくて、 「その瞬間(コードを書いている瞬間)の気持ちよさ、心地よさ、そしてその返値を楽しむ事」
少女:数学はどうやって勉強してるの? 少年:得意じゃないから、語学とほとんど同じ。というか第二言語のつもりでやってる(Mathematics as a Second Language)。 ・読書猿Classic 数学にはネイティブはいない:「語学としての数学」完全攻略=風景+写経アプローチ 少女:まえに、200ページくらいのテキストを用意して、目次を見て、全体をざっと見て…といってた、あれ? ・図書館となら、できること番外編/マイナー言語のBookishな学び方 読書猿Classic: between / beyond readers テキストは〈分かる〉系より〈解ける〉系 少年:そう。最初はなるべくコンパクトな本を使う。一冊で分からないところが他の本を見ると分かることがあるから、手に入るだけは確保するのも…… 少女:語学のときと同じ? 少年:うん。ただマイナー言語とは違って数学関係の書籍
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く