池田 靖雄 | 埼玉短期大学
スポンサーリンク
概要
関連著者
-
池田 靖雄
埼玉短期大学
-
池田 靖雄
埼玉短期大学 情報メディア学科
-
水谷 哲也
筑波大学
-
水谷 哲也
筑波大学大学院システム情報工学研究科
-
Mizutani Tetsuya
Institute Of Information Science University Of Tsukuba
-
Mizutani Tetsuya
Department Of Computer Science University Of Tsukuba
-
五十嵐 滋
常磐大学
-
塩 雅之
常磐大学
-
水谷 哲也
筑波大学 電子・情報工学系
-
五十嵐 滋
常磐大学 大学院コミュニティ振興学研究科
-
塩 雅之
常磐大学 コミュニティ振興学部
-
細野 千春
筑波大学電子・情報工学系
-
富田 康治
産業技術総合研究所
-
富田 康治
工業技術院機械技術研究所
-
富田 康治
機械技研
-
塩 雅之
常磐大学コミュニティ振興学部
-
辻 尚史
千葉大学理学部数学・情報数理学科
-
辻 尚史
千葉大学理学部
著作論文
- 時制算術における時制の消去に関する一考察
- 5C-6 ヒューマンファクターを包含する記号論理体系に基づく実時間知的システムの分析(複雑系,一般セッション,人工知能と認知科学)
- 知性と感性の情報学的討究(6)ヒューマンファクターを包含する記号論理体系に基づく信楽列車事故の分析
- 知性と感性の情報学的討究V : 時制に依存する命題の事例化規則とサウンドネス(佐藤照子先生追悼号)
- 知性と感性の情報学的討究(4)人工知能論における協調系の数理的表現について
- 知性と感性の情報学的討究III : @-calculusに基づく協調システムの検証例-アンサンブル・プログラム
- 知性と感性の情報学的討究II : 時制数論体系@-calculusの基礎分析
- プログラム言語BQLとその処理系
- 有理Presburger算術の決定性について