スポンサーリンク
茨城大学工学部情報工学科 | 論文
- 順序機械の多項式時間推論アルゴリズム
- 翻訳過程における木変換機の出力木の変換システム
- 多段階木変換機について(計算モデルと計算の複雑さに関する研究)
- 決定性・線形プッシュダウン木オートマトンによる木構造の線形時間認識
- $O(n^3)$で認識される文脈自由木言語のサブクラスについて (計算機科学基礎理論とその応用)
- 単一パラメータマクロ木変換機とSpine Grammarの関係(LAシンポジウム(情報基礎理論ワークショップ)論文小特集)
- Spine Grammarの線形性と無削除性
- 妨害者のいる場合の最短経路問題
- 妨害の下での最短経路問題の複雑さ : 通過後の妨害を許さない場合
- 円筒上長方形交グラフの最大クリークを求めるアルゴリズム
- 妨害の下での最短経路問題
- パスグラフから区間グラフへの最小辺付加による変換の NP 完全性
- 交互シャフルについて
- 木上二重コンベックスグラフと二部サークルグラフの等価性
- 端子間に配線を通過させない順列配線のビア数最小化アルゴリズム
- 円筒上長方形交グラフの最大クリークを求めるアルゴリズム
- パスグラフから区間グラフへの最小辺付加による変換のNP完全性
- ある種のグラフにおける最大クリーク重みの折点数について
- ユーザインタフェース作成支援システムの設計と試作について
- 同期付シャフル表現の記述能力