スポンサーリンク
静岡大学工学部知能情報工学科 | 論文
- 3次元VLSI上のソーティング・アルゴリズム
- スタック高速化のための管理アルゴリズムとその解析
- 定義階層構造に基づく問題解決階層の決定
- 高階関数を対象としたlazyな関数型言語についての並列リダクション
- データフローマシンアーキテクチャを用いた並列リダクションマシンの実現について
- 3L-1 π計算に対する動作視覚化システム
- π計算に対する動作視覚化システム
- 仮定にもとづく知識管理システムの関連論理による形式化
- 一階様相述語論理の機械的定理証明について (計算機科学の数学的基礎)
- 内包の外延への還元可能性について (計算機構の数学的研究)