Shinji Kono Home Page
河野真治 (こうのしんじ) のホームページにようこそ
論文リスト
時相論理に関する研究
講義のページ
発表
ソフトウェアのページ
Agda 入門
shinji kono's github
mercurial repository
他には...
blog
nkf (network kanji filter) に関すること
学内向け案内 (アクセス制限あり)
イベント及び写真集
カレーのページ
沖縄に関すること
fjに関すること
HTMLの例題
(non frame version)
(ここはフレームの方が便利)
河野真治について
琉球大学情報工学科
並列信頼研究室
昔の話題
sfの話題
その他の話題
R.I.P.
English Page is here
メールはこちらへ。kono@ie.u-ryukyu.ac.jp
http://bw-www.ie.u-ryukyu.ac.jp/~kono