[ruby-list:49999] [ANN] Rubyでプログラミング言語を作りました
From:
Gogo Tanaka <mail@...>
Date:
2014-10-31 23:21:28 UTC
List:
ruby-list #49999
こんにちは. 皆さん. ハッピーハロウィーン！（日本ではもうそろそろ終了でしょうか） 今年はRubyかモナドの仮装でもしたいと思います. さて、おこがましいながら、Rubyで新しいプログラミング言語（異論は認めます）を作ったので紹介させて下さい. * HP: <http://q-language.org/ja>* CODE: <https://github.com/gogotanaka/Q/> ### Motivation 皆さんご存知の通り紙とペンを用いて数式を奏でるのは本当に楽しいです.しかしそれがキーボードとなるとどうでしょう（キーボードを用いる必要性は処理速度と正確さにあります） 少なくとも現存する方法では数式を撫で味わうという点で僕は大変不満足です. これが動機です. 松本さんは以前、 "Enjoy programming, and you will be happy." とおっしゃていましたが、 僕は今回、 "Enjoy mathematics, and you will be more happy." と声を高くして言いたいです. Q言語では直感的で気持ちの良いシンタックスだけではなく、数学における普遍妥当な論理式を機械的に導出可能とする公理系と推論法則を言語内部に構築し（多くの数学者が挫折した手法とは違い、Q言語では多くの正規化を行いこれを担保します）それによる実数学の諸概念を離散世界の抽象物に飛ばす機構を用いて、今までのプログラミング言語では表現するのが困難であった、形式主義的な手法や位相など諸概念を扱える事を可能にする予定です. ### Why Ruby? Rubyを用いた理由を説明させて下さい. 1. Rubyは僕がもっとも慣れ親しんだ生産性の高い言語で素早くプロトタイプを作る事ができ、大きな変更も容易に行なえるためです. 処理測度に問題があればC言語拡張との共存を利用しシームレスにC言語に移行する事も可能だと考えたためです. 2. Rubyが数値解析を行なうに十分である事を示すためです.これは完全に蛇足ですが、僕の大学の教授に数値解析でRかPythonの使用を強要され（学部の授業という性質を考えるとまあ致し方ないですが）その方が「Rubyはそいう言語ではないのでは？」と言っていたのに腹が立ったのがそもそもの始まりです. 3. Rubyが好きだからです（これ以上の理由があるでしょうか） 僕は素晴らしいエンジニアとオープンソースを育てていくのを好む人間です.バグ報告やパッチはwelcomeです（望まれるならばコミット権も差し上げます）何かしらの報告を頂いてから２４時間以内に返信をする事をお約束します. 駄文失礼しました. それでは良い一日を. --Kazuki Tanaka, Keio univ. mathematical sciences http://gogotanaka.me/