2013-12-22から1日間の記事一覧

ipc_botの紹介

この記事はTheorem Prover Advent Calendarの22日めの担当記事です.今年の僕の持ちネタの一つですが,ipc_bot というTwitter botを作りました.https://twitter.com/ipc_botこのbotは直観主義命題論理の命題を投げると解いてくれるbotです. 仕組み 証明を…