学際的インテリジェントエンジン：数学的演繹、物理モデリング、コード生成、論理的推論