05/06/16 23:46:50
そ / _r 、 、 .ヽ、 Ｒ
｜ L_ , - ´ ￣￣ ｀ ヽ 、 ',ヽｰ/＿ヽーヽ／ヽイ _) ｕ
な ＜ ／ ヽ, / λ ヽ. ｂ
の ／/ ｲ ヽ .i く ﾁ＼ｲ_レヽ_／ﾙノヽ ) ｙ
か ＼! !ｲ-/─ﾚｲ、ル─ヽ, ／ >i .ﾚｲ ,r=、 ,.-=ゝiｲ ヽ, ｙ
｜ .|￣i /ｲ,r=-、 ,-=ヽiﾐ}＜] !ﾚｲﾚi { !_r! i、_r! ﾘ ) 最
,、 / .ﾚ| i { i、r! i、_r!} ｱ | | !,"" ＿__ "" ! ! く. 高
｀ | i,"" ＿___ "" | | | .| ! i ヽ、 ! j ,ｲﾚ > ! !
i ﾘヽ、 ! ｀j ,ｲ !| | |ﾉル ｀ﾚ ,_--_イiレ - 、／￣ヽ、
ﾚi レ｀ﾚ ,--_イ ﾚ、 リレ' rｲくi-/ ／ , ---ヽ、／＿_
人/ヽ、_ ,ｲくi--/／__人__人_ ,く,_[>＜]__//＿（⌒）-、i,_ ノ
はあ / / i (>Y<) ) 最Ｒ今 ( ,ヽi ' (＿ゝ_ヽ_ノノﾉ ´
はは i / .! ｀´ ). 高ｕ 夜 ( ./ .! ヽ、＿__ノ
はは > / ｲ、 ヽ, ！ ｂ も ( / <、_ 、 _ く
はは < / ヽr----─> ！ ｙ ( / ／ / ヽ＼
517:516
05/06/17 00:33:33
誤爆しました
518:俺の学生時代はi386でGoferかな
05/06/17 00:36:23
>>516
さっさと氏ねよ
>>511-512
定理証明系の開発は70年代
SML/NJの開発は80年代半ば
その後87～98がHaskell標準化・・・もしかして進歩止まってるやん