Kono's paper list

今までに書いた論文のリスト (あんまり昔のは置いてありません) English Page is here 論文リスト GearsAgdaによるRed Black Treeの検証 森 逸汰, 河野 真治(琉球大学), 情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS), May, 2023 Gears OSのCodeGear Management 仲吉 菜々子, 河野 真治(琉球大学), 情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS), May, 2023 Gears OSのファイルシステムとDB 又吉 雄斗, 佐野 巧曜, 河野 真治(琉球大学), 情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS), May, 2023 Agdaによる集合論の証明手法 -- Zornの補題に関して 河野 真治 (琉球大学), 第6

[yuko-hirom]

見事に最近の研究は日本語文献ばっかｗ

[eggman]

河野 真治 最近はCellの論文らしい

[Yusuke_Yamamoto]

継続に関しての論文がある。

[thata]

継続 継続 継続

[nobody]

河野真治先生(琉球大学)ご自身による論文一覧ページ