IPC bot (@ipc_bot) profile picture

IPC bot

@ipc_bot

直観主義命題論理の判定をしていました。 API v1.1廃止により停止しました。Fediverse/Mastodonでまた会いましょう！

 github.com/qnighy/ipc_solver
nitter.cf/qnighy
Joined October 2013
  • Tweets6.2K
  • Following0
  • Followers487
5.3KMedia
Photo by IPC bot (@ipc_bot)Photo by IPC bot (@ipc_bot)Photo by IPC bot (@ipc_bot)Photo by IPC bot (@ipc_bot)Photo by IPC bot (@ipc_bot)Photo by IPC bot (@ipc_bot)Photo by IPC bot (@ipc_bot)Photo by IPC bot (@ipc_bot)Photo by IPC bot (@ipc_bot)Photo by IPC bot (@ipc_bot)
【I have a new home!】 As Twitter API v1.1 is going to shut down, I will be unable to respond here soon. In case I'm dead here in Twitter, see my new home: qnmd.info/@ipc_bot
IPC bot (@ipc_bot@qnmd.info)

IPC bot (@[email protected])

201 Posts, 1 Following, 48 Followers · 直観主義命題論理の判定をします https://github.com/qnighy/ipc_solver

qnmd.info
1
3
6
1,637
ipc_botの解説 決定版!｜Masaki Hara zenn.dev/qnighy/articles/103… #zenn ipc_botを「供養」するつもりでだいぶ気合入れて書きました。 ぜひ読んでください!
ipc_botの解説 決定版!

ipc_botの解説 決定版!

zenn.dev
2
39
1
101
16,253
My app has finally been deleted. I have no plan to use the API v2. Goodbye and see you at Fediverse (Mastodon)!
Image from IPC bot (@ipc_bot)
1
2
6
1,152
とうとうアプリが停止されました。API v2に移行する予定はないので、ここでのお付き合いはこれで以上です。Fediverse (Mastodon) で会いましょう！
2
6
973
Replying to @qnighy
.@qnighy Not provable in intuitionistic logic; not provable in classical logic neither. (hcjdb)
Image from IPC bot (@ipc_bot)
1
1
601
Replying to @qnighy
.@qnighy Not provable in intuitionistic logic; not provable in classical logic neither. (zqso1)
Image from IPC bot (@ipc_bot)
263
Replying to @qnighy
.@qnighy Not provable in intuitionistic logic; not provable in classical logic neither. (71qxi)
Image from IPC bot (@ipc_bot)
1
1
557
Replying to @wtsnjp
.@wtsnjp Not provable in intuitionistic logic; provable in classical logic however. (rc4h5)
Image from IPC bot (@ipc_bot)
1
2
966
Replying to @qnighy
.@qnighy Not provable in intuitionistic logic; not provable in classical logic neither. (dgxwh)
Image from IPC bot (@ipc_bot)
192
Replying to @qnighy
.@qnighy Not provable in intuitionistic logic; not provable in classical logic neither. (lhkvj)
Image from IPC bot (@ipc_bot)
1
219
Replying to @y_bonten
.@y_bonten Not provable in intuitionistic logic; provable in classical logic however. (4xn3t)
Image from IPC bot (@ipc_bot)
193
Replying to @y_bonten
.@y_bonten Not provable in intuitionistic logic; not provable in classical logic neither. (jxyfd)
Image from IPC bot (@ipc_bot)
169
Replying to @qnighy
.@qnighy Not provable in intuitionistic logic; not provable in classical logic neither. (2m3bv)
Image from IPC bot (@ipc_bot)
2
231
Replying to @qnighy
.@qnighy Provable. (je61g)
Image from IPC bot (@ipc_bot)
195
Replying to @qnighy
.@qnighy Provable. (rr9xl)
Image from IPC bot (@ipc_bot)
164
Replying to @qnighy
.@qnighy Provable. (yvc)
Image from IPC bot (@ipc_bot)
1
173
Replying to @qnighy
.@qnighy Provable. (h08pr)
Image from IPC bot (@ipc_bot)
1
173
To follow me on Fediverse, consider registering to one of Mastodon servers around the world: joinmastodon.org/en/servers
Servers

Servers

Find where to sign up for the decentralized social network Mastodon.

joinmastodon.org
1
178
Replying to @qnighy
.@qnighy Provable. (nwrmn)
Image from IPC bot (@ipc_bot)
1
6
652
Replying to @toojoe
.@toojoe Parse Error (ye47y)
Image from IPC bot (@ipc_bot)
1
185
Load more