https://twitter.com/kinaba のログ (twilog の方が便利です。)
| RT @ChiiAyano: これは ATOK 2016 のリフレッシュナビで、Windows 10 関係ないですね… https://t.co/Wrd3GHUk91 📱 | |
| ATOKだそうです | |
| @ChiiAyano なるほど！よく見ていませんでした… | |
| つめつめロード、棋士コラボのキャラが出るたびに集めてはいます（進捗） https://t.co/ypWSFZygP7 | |
| しかし新しいSランクみたま出すイベントばっかりやっててSランク用の進化アイテム取れるイベントが一個もない（課金とか難易度とか関係なくまったく一切ない）という状態、誰にとっても嬉しくないと思うんだけどなんでこんな状態で放置してるんだろう… | |
| @nabesan_go 惰性勢です | |
| @kinaba ※ いくつか突っ込みいただいてますが、Windows10ではなくてATOK2016の機能だそうです | |
| はー https://t.co/SaxJJopq6P (今日まで休みにしていた人間) | |
| 藤井先生、決勝トーナメント全局藤井システムで勝ち抜いてるのか、格好良すぎる… https://t.co/se2iAD9O2j | |
| https://t.co/1SqcWDlI4S 半分読んだ。一階IF論理（普通の述語論理の∃xは外の∀の選択に依存してxを選べるけど、そうは限らず、どの変数に依存するか指定して量化する論理）が普通のより真に強くなる量化パターンは突き詰めるとIF論理の例によく使われる2種のみと証明 | |
| @kinaba 要は ∀x∃y∀z∃w/{wはx,yに非依存でzのみから定まる} みたいに書けるということで、これだけで Existential Second Order Logic と同じ表現力まで行けるというの面白いなーと思ってたんだけど、細々と(?)研究続いてるらしい |