研究業績リスト
会議発表プレゼンテーション
公開済 09/2013
第12回情報科学技術フォーラム(FIT2013)
会議発表プレゼンテーション
公開済 03/2009
電子情報通信学会,電子情報通信学会2009年総合大会
会議発表プレゼンテーション
公開済 03/2006
電子情報通信学会,2006年電子情報通信学会総合大会
会議発表プレゼンテーション
公開済 03/2005
信学技報
会議発表プレゼンテーション
公開済 10/2000
電子情報通信学会技術研究報告
会議発表プレゼンテーション
(4,7)-マージングネットワークと(5,6)-マージングネットワークの最小比較器数について
公開済 12/1997
電子情報通信学会技術研究報告
会議発表プレゼンテーション
公開済 09/1996
電子情報通信学会技術研究報告
会議発表プレゼンテーション
公開済 04/1996
京都大学数理解析研究所講究録
会議発表プレゼンテーション
公開済 09/1993
電子情報通信学会技術研究報告
会議発表プレゼンテーション
Some problems in formal language theory known as decidable are preved EXPTIME complete
公開済 07/1992
京都大学数理解析研究所講究録