川本 真一 | 東北大学大学院情報科学研究科
スポンサーリンク
概要
関連著者
-
伊藤 貴康
東北大学大学院情報科学研究科
-
川本 真一
東北大学大学院情報科学研究科
-
川本 真一
東北大学情報科学研究科
-
伊藤 貴康
東北大学情報科学研究科
-
川本 真一
東北大学 大学院 情報科学研究科
-
伊藤 貴康
東北大学 大学院 情報科学研究科
-
川本 真一
東北大学 工学部
-
伊藤 貴康
東北大学工学部情報工学科
-
川本 真一
東北大学工学部情報工学科
著作論文
- Schemeプログラムの自動並列化とスティール評価法による実行
- スティール評価法を備えたPaiLispシステムの実現とその評価
- スティール評価法を備えたPaiLispシステムの実現とその評価
- スティール評価法を備えたPaiLispシステムの実現と評価
- マルチスレッドPaiLispの実行方式
- マルチスレッドを用いたPaiLispインタプリタの実現と評価
- PaiLispを用いたペトリネットの解析と実行
- CCSプロセスのネット表現
- ペトリネットのための代数的操作システムとその応用