お問い合わせ
研究者
キャリアサポート
エントリー
テクノロジストマガジンとは
お問い合わせ
研究者キャリアサポート
エントリー
研究紹介
研究者の肖像
新進気鋭な研究者
企業の研究部門
大学の研究室
オピニオン
キャリア
お知らせ
バックナンバー
個人情報の保護方針
研究開発社 転職支援サービス Computer Science Agency
Search
HOME
定理証明人工知能
Articles
TAG
#定理証明人工知能
2017年6月22日
【研究者の肖像Vol8】「コンピュータに仕事を奪われる」。そんな雑駁な議論を排しみんなの傍らに役立つ機械をつくる。山口 高平
Return Top