吉浦 紀晃 | 東京工業大学情報理工学研究科計算工学専攻

スポンサーリンク

概要

• 同名の論文著者
• 東京工業大学情報理工学研究科計算工学専攻の論文著者

関連著者

• 吉浦 紀晃

  埼玉大学大学院理工学研究科数理電子情報部門情報領域

• 吉浦 紀晃

  東京工業大学情報理工学研究科計算工学専攻

• 吉浦 紀晃

  埼玉大学大学院工学研究科

• 米崎 直樹

  東京工業大学大学院情報理工学研究科計算工学専攻

• 米崎 直樹

  東京工業大学大学院情報理工学研究科

• 桜井 成一朗

  東京工業大学

• 藤本 衛

  東京工業大学情報理工学研究科

• 坂本 直志

  東京工業大学情報理工学研究科

• 桜井 成一朗

  東京工業大学情報理工学研究科計算工学専攻

著作論文

• 証明力が拡張された適切さの論理体系ER
• リアクティブシステムの段階的充足可能性とSafety Propertyの関係
• 証明力を拡張した適切さの論理$ER$ (プログラム変換と記号・数式処理)
• 適切さと論理RとERの証明力の比較
• 適切さの論理ERの決定可能性
• 証明力を拡張した適切さの論理ER
• 結合子の適切さによる人間の演繹的な推論の形式化 (&特集>「記号論理とAI」)
• プライベートネットワークアドレスを利用する際の経路制御について

スポンサーリンク