酒井正彦, 名古屋大学 [著][酒井正彦]2003-2005<Y151-H15500007>
国立国会図書館
酒井, 正彦, 名古屋大学1999-2002<Y151-H11680352>
国立国会図書館
小林, 直樹, 東京工業大学1999-2001<Y151-H11480061>
国立国会図書館
- 件名線形型 メモリ管理 関数型言語 ガベージコレクシヨン 型推論 並行言語 通信チヤネル
玉真, 昭男, 静岡理工科大学1999-2001<Y151-H11650358>
国立国会図書館
- 件名画像処理 ロ-タリ-エンコ-ダ 誤差計測 FPGA デ-タフロ-マシン 関数型言語 RISCプロセツサ 並列リダクシヨン
伊藤, 貴康, 東北大学2001-2002<Y151-H13480073>
国立国会図書館
- 件名並列関数型言語 ステイ-ル評価法 共有メモリ型並列計算機 仮想並列マシン ...
雨宮真人, 九州大学1994-1996<Y151-H06558050>
国立国会図書館
- 件名マルチメデイア 超並列計算機 細粒度並列処理 マルチスレツド データフロー 関数型言語 I/O 画像処理
稲垣, 康善, 名古屋大学1995-1997<Y151-H07558037>
国立国会図書館
- 件名可視化 書換え計算モデル プロセス代数 視覚的支援 プログラミング環境 関数型言語 計算モデル 代数的プログラミング
山崎, 進, 岡山大学1990-1991<Y151-H02680028>
国立国会図書館
- 件名論理型言語 関数型言語 データフロー 意味論 代数的操作 導出演繹
谷口, 倫一郎, 九州大学1992-1993<Y151-H03650307>
国立国会図書館
- 件名超並列処理 ニユーラルネツトワーク 画像理解 オブジエクトシステム データフロー 関数型言語
浅井, 健一, ASAI, Kenichi国立大学法人お茶の水女子大学2012-032011-2012 研究紹介集（増補版）p.53-53
全国の図書館
- 件名教育・教育学 型エラー アルゴリズミックデバッギング 関数型言語 型システム
雨宮, 真人, 九州大学1989-1991<Y151-H01460152>
国立国会図書館
- 件名超並列マルチプロセツサ データフロー 自律型非同期 ニユーラルネツトワーク 画像処理 画像理解 オブジエクト指向言語 関数型言語
淺井, 健一, ASAI, Kenichi国立大学法人お茶の水女子大学2009-092009-2010 研究紹介集p.18-18
全国の図書館
- 件名教育・教育学 関数型言語 型システム プログラム理論 部分継続 信頼性
淺井, 健一, ASAI, Kenichi国立大学法人お茶の水女子大学2007-09-012007 社会とのパートナーシップ 研究紹介集p.22-22
全国の図書館
- 件名情報学 関数型言語 型システム プログラム理論 部分継続 信頼性
淺井, 健一, ASAI, Kenichi国立大学法人お茶の水女子大学2008-062008 研究紹介集p.20-20
全国の図書館
- 件名教育・教育学 関数型言語 型システム プログラム理論 部分継続 信頼性
高須, 達, 京都大学1985-1987<Y151-S60580024>
国立国会図書館
- 件名プログラム合成 直観主義述語論理 型論理 LISP プログラムの一般化 マルチウインドウシステム 関数型言語 定理の証明
片山卓也, 東京工業大学1986-1988<Y151-S61420045>
国立国会図書館
- 件名属性文法 仕様記述 関数型言語 ソフトウエアプロセス オブジエクトベース ソフトウエア環境...
益田, 隆司, 筑波大学1986-1987<Y151-S61460232>
国立国会図書館
- 件名計算機複合体 分散型オペレーテイング・システム ワークステーシヨン プロセス プロセス間通信 関数型言語 データベース管理システム
中村, 維男, 東北大学1986-1987<Y151-S61460136>
国立国会図書館
- 件名頭脳構造計算機 思考的機構 汎用パイプライン 関数型言語FP グラフ簡約マシン FFP言語 イメージ処理 コンピユー...
米田, 信夫, 東京大学1985-1987<Y151-S60302009>
国立国会図書館
- 件名圏論と計算機科学 トポス 関数型言語の処理機構 Modula-2 プログラムの自動合成 定理の自...