最強の数式処理系を考える [無断転載禁止]©2ch.net

最強の数式処理系を考える [無断転載禁止]©2ch.net (28ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

1: 片山博文MZ ◆T6xkBnTXz7B0 2016/02/25(木)01:49 ID:MF+IFOM4O携(1/3) AAS
世界最強の数式処理の共通基盤を作りたい。
処理速度・汎用性で絶対に妥協しない。
C/C++で作る。

2: 片山博文MZ ◆T6xkBnTXz7B0 2016/02/25(木)18:04 ID:MF+IFOM4O携(2/3) AAS
名前はinversable processor (invp)。
未知数を許容する遅延評価で動作する。

3(1): 片山博文MZ ◆T6xkBnTXz7B0 2016/02/25(木)21:59 ID:MF+IFOM4O携(3/3) AAS
コンビネーター理論がよくわからない