選択公理bot

Twitterのbotというのを作ってみたいな～。ということでこんなもの作ってみました。

@AxiomderAuswahl

まだ全然未完成です。(bot、このページ共に。) ちなみに、画像は『集合論』に載っている選択公理の図です。

機能

定期ツイート

選択公理と関係のある命題をつぶやきます。最初の記号が選択公理との関係を表していて、[⇔]がついてる命題は選択公理と同値という事、[⇒]がついてる命題は証明に選択公理が必要という事です。頻度は、一日一回になっています。時間はランダムです。といっても、20時から27時くらいの時間になるように作ってます。しかも0分か30分近辺です。

出てくる命題のいくつかは 選択公理 というページで証明を書いています。

フォロー返し

フォローされたら返します。それだけ。リムられたときにリムーブ返しをする機能は付けていないので、必要な場合はブロックしてください。

リプライに反応する

基本的には、話しかければ「選択公理ちゃんマジ公理」と返事をします。リプライなどを解析してbotが学習する…ということが出来ればいいのですが、そこまでの知識が無いので、今は一部単語(例: 線型)に反応して返事の内容が変わる程度です。