高野, 陽太郎, 東京大学1997-1998<Y151-H09610069>
国立国会図書館
- 件名形態認識 情報タイプ理論 方向自由情報 メンタル・ローテーシヨン
高野, 陽太郎, 東京大学1992-1993<Y151-H04451021>
国立国会図書館
- 件名情報タイプ理論 形態認識 メンタル・ローテーシヨン 回転不変項 鏡映像
岡田, 光弘, 慶応義塾大学1998-1999<Y151-H10044094>
国立国会図書館
- 件名タイプ理論 線形論理 プログラミング言語 プログラム意味論 形式的プロ...
岡田, 光弘, 慶応義塾大学1993-1994<Y151-H05808030>
国立国会図書館
- 件名マルチ・パラダイム・プログラム言語 タイプ理論 項書き換え論理 証明論 代数的仕様言語 証明の正規化定理 ...
白, 以然お茶の水女子大学「魅力ある大学院教育」イニシアティブ人社系事務局2007-03-10「対話と深化」の次世代女性リーダーの育成 : 「魅力ある大学院教育」イニシアティブ平成18年度活動報告書 : 海外研修事業編p.113-116
全国の図書館
- 件名教育・教育学 プロトタイプ理論 多義語分析 意味の拡張 第2言語習得