伊藤 貴康 | 東北大学大学院情報科学研究科
スポンサーリンク
概要
関連著者
-
伊藤 貴康
東北大学大学院情報科学研究科
-
伊藤 貴康
東北大学工学部情報工学科
-
川本 真一
東北大学大学院情報科学研究科
-
伊藤 貴康
東北大学情報科学研究科
-
伊藤 貴康
東北大学 大学院 情報科学研究科
-
川本 真一
東北大学情報科学研究科
-
泉 信人
東北大学大学院情報科学研究科
-
伊藤 貴康
東北大学
-
川本 真一
東北大学 大学院 情報科学研究科
-
田村 清朗
東北大学大学院情報科学研究科
-
宮川 伸也
東北大学大学院情報科学研究科
-
松山 隆司
東北大学工学部情報工学科
-
伊藤 貴康
東北大学:石巻専修大学
-
川本 真一
東北大学 工学部
-
清野 智弘
東北大学 工学部
-
梅村 恭司
豊橋技術科学大学
-
梅村 恭司
Ntt ソフトウェア研究所
-
渡辺 昌寛
東北大学大学院情報科学研究科
-
梅村 恭司
NTT 電気通信研究所
-
長坂 篤
沖電気工業
-
湯淺 太一
豊橋技術科学大学
-
橋本 ユキ子
日本電気
-
岸田 克己
NTT
-
長坂 篤
沖電気
-
今 昭
東北大学工学部
-
村山 直樹
東北大学工学部情報工学科
-
松倉 隆一
東北大学工学部
-
小村 昌弘
(株)富士通研究所
-
川本 真一
東北大学工学部情報工学科
-
森谷 俊洋
東北大学大学院情報科学研究科
-
三森 哲
東北大学大学院情報科学研究科
-
佐々木 大志
東北大学大学院情報科学研究科
-
淺井 敏弘
東北大学大学院情報科学研究科
-
渡辺 佳友
東北大学情報科学研究科
-
野村 玲子
東北大学工学部情報工学科
-
飯塚 泰樹
東北大学工学部情報工学科
-
小村 昌弘
東北大学大学院情報科学研究科
-
小柳 朗
東北大学大学院情報科学研究科
-
神林 義明
東北大学大学院情報科学研究科
-
清野 智弘
東北大学情報科学研究科
-
清野 智弘
東北大学工学部情報工学科
著作論文
- ISLisp(Lisp言語のISO標準化案)とその動向
- Schemeプログラムの自動並列化とスティール評価法による実行
- call/ccを用いた繰返し的SchemeプログラムとCPS変換
- 並列オブジェクト指向言語PaiObjectのインタプリタとその評価
- スティール評価法のための仮想並列マシンの設計と実現
- スティール評価法のためのSSTマシンによる並列Schemeコンパイラの実現
- ファジィ制約を備えた知識表現システムとそのISHSPによる実現
- 画像解析における戦略の表現
- スティール評価法を備えたPaiLispシステムの実現とその評価
- スティール評価法を備えたPaiLispシステムの実現とその評価
- スティール評価法を備えたPaiLispシステムの実現と評価
- マルチスレッドPaiLispの実行方式
- マルチスレッドを用いたPaiLispインタプリタの実現と評価
- PaiLispを用いたペトリネットの解析と実行
- CCSプロセスのネット表現
- ペトリネットのための代数的操作システムとその応用
- 場所の概念を備えたJava言語とその処理系
- ISLISP処理系TISLにおけるネイティブインタフェースの設計および実装
- ISLISP処理系TISLのためのパッケージシステム
- ISO標準Lisp言語ISLISPのインタプリタおよびコンパイラ
- 国際標準LISP言語ISLISPのインタプリタおよびコンパイラ
- PaiLispプログラミングのための視覚的ツールの試み(一般発表)
- LISP言語国際標準化と日本の貢献
- Timed-GCを備えた実時間型Schemeシステム
- Timed-GCを備えたScheme処理系と評価
- ソフトウェア基礎研究における思い出(2) : ソフトウェア基礎研究に関する国際活動(新しいソフトウェアの実現,サイバー増大号)
- ソルトウェア基礎研究における思い出(1) : プログラム理論の創世期の思い出
- 並列Lispインタプリタにおける並列処理方式の設計
- 並列言語PaiLispのデバッガの試作とその評価
- PaiLispとPaiObjectの処理系
- PaiLispのための並列オブジェクト指向言語PaiObject
- 推論型データベース検索支援システムの試み
- アクションセマンティクスによるSchemeの意味記述
- PaiLispを用いた方程式求解システムの試作
- PaiLisp の並列構文の実現法と評価
- PaiLispによる並列処理の実現と評価
- PaiLispにおける並列構文の実現法とその評価
- 東北大学工学部情報工学科伊藤研究室
- ソフトウェアの基礎研究への期待
- 推論ソフトウェアの構成-2完-
- 推論ソフトウェアの構成
- 対話型Lispプログラム検証システムの試作
- プログラム理論とその応用(3)
- プログラム理論とその応用(1)
- プログラミング言語の意味論 : 入門的解説
- プログラムの自動作成