https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&indexId=2468
19(1989-PRO-034)
情報学広場:情報処理学会電子図書館
2009-06-23T00:00:00+09:00
2009-06-23T00:00:00+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=30902&itemNo=1
間野, 暢興
間野暢興
対象物-関係指向知的プログラミング環境における自己記述からのシステム生成
2009-06-30T06:50:42+09:00
2009-06-30T06:50:42+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=30903&itemNo=1
野口, 憲一
野口憲一
A new head - normalization algorithm for λ - calculus
2009-06-30T06:50:42+09:00
2009-06-30T06:50:42+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=30904&itemNo=1
劉樹苓
モデル推論による制約付き再帰的図形の学習
2009-06-30T06:50:42+09:00
2009-06-30T06:50:42+09:00
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaiore&itemId=30905&itemNo=1
富永, 浩之
富永浩之
新出, 尚之
新出尚之
ハイパーテキスト・システムにおけるユーザ・インタフェースの形式的記述へ向けて
2009-06-30T06:50:42+09:00
2009-06-30T06:50:42+09:00