加納 省吾 | 九州大学理学部附属基礎情報学研究施設

スポンサーリンク

概要

• 加納 省吾の詳細を見る
• 同名の論文著者
• 九州大学理学部附属基礎情報学研究施設の論文著者

九州大学理学部附属基礎情報学研究施設 | 論文

• 周期1と2のリミットサイクルをもつセルオートマトンについて(アルゴリズムと計算量理論)
• ファジィ関係代数とその表現定理について(アルゴリズムと計算量理論)
• 初等トポスでのプログラムの公理的意味論(計算アルゴリズムと計算量の基礎理論)
• 決定木とアトム列の汎化
• 段差におけるスパッタ膜の形状と陽極酸化を用いたSNSブリッジの作製法

もっと見る

スポンサーリンク