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

情報オリンピックの予選に参加しました．(予選は誰でも参加できます)次のような制約で解くことにしていました． 1番は Wolf RPGエディター 2番は TeX 3番は Scratch 4番は Excel 5番は APL 6番は Bash 結局1と4を解きました． 1番 Wolf RPGエディターで解き…