スポンサーリンク

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

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

スポンサーリンク