IPC bot @ipc_bot

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

Tweets

6K
Followers

506
Following

0
Likes

0

Masaki Hara @qnighy

2 years ago

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

2 38 101 16K 23

アブスト作成/�... @Alwe_Logic

4K Followers 3K Following 学びたい、ことばかり。音楽と数学が好きです。key:@KeyAlwe (そんなに動いてないです) 欲しい物リスト: https://t.co/p13p68sw6N

セキュリティ・キャンプ'18受講生, '20チューター, '21ネクスト受講生, '22-'25講師；東大既仏→Stanford 学部・修士卒業；NandGame和訳；Turing Complete 和訳中；ZEN大学教員予定（オートマトンと形式言語理論や論理回路の上手い教え方を考える業務）@sosoBOTpi と同一

はすじょい (hsjo... @hsjoihs

11K Followers 8K Following セキュリティ・キャンプ'18受講生, '20チューター, '21ネクスト受講生, '22-'25講師；東大既仏→Stanford 学部・修士卒業；NandGame和訳；Turing Complete 和訳中；ZEN大学教員予定（オートマトンと形式言語理論や論理回路の上手い教え方を考える業務）@sosoBOTpi と同一

りちゃ @LicjarXeymelloz

4K Followers 3K Following meta-kawa-profile-pic: @_peace_vv / ＊Discord: licjar / ＊Fediverse: https://t.co/jWhnvaYRN5 / ＊Bluesky: https://t.co/vfqw1okZ8Q

画力・博士号・... @bd_gfngfn

8K Followers 5K Following 解釈をしたがらず手を動かす @en_gfngfn @4gfn https://t.co/7yttH4xu38 🌾🍉

661 @661nos

2K Followers 2K Following 南無世界最強

@rarun0705 とかわいいとプログラムと計算機が好き.

Icon by: @soleil_paint

VRC: Kory / こりー | Discord: kory33 | 鍵: @.Kory__3_key | @kory@misskey.io

Kory @Kory__3

4K Followers 1K Following @rarun0705 とかわいいとプログラムと計算機が好き. Icon by: @soleil_paint VRC: Kory / こりー | Discord: kory33 | 鍵: @.Kory__3_key | @[email protected]

デジタル競争の... @Lugendre

2K Followers 5K Following 気がついたら衛星作る会社に入ってたHaskeller。SR-009はいいぞ

宇田 @41_36_22

4K Followers 2K Following フシギバナからフシギダネが生まれる

おえかき始めた(アトリエ等)https://t.co/Wq2CKTdb0g /ゲームを作っていた@OverEpsilon/ゆるふわMTG/Rust/Python/OCaml/ゆるふわ数学/形式検証、プログラム検証/ 自前マストドン: https://t.co/khFGvxLBLz

足跡45(misskeyに�... @ashiato45

1K Followers 2K Following おえかき始めた(アトリエ等)https://t.co/Wq2CKTdb0g /ゲームを作っていた@OverEpsilon/ゆるふわMTG/Rust/Python/OCaml/ゆるふわ数学/形式検証、プログラム検証/ 自前マストドン: https://t.co/khFGvxLBLz

ちゅーん @its_out_of_tune

3K Followers 1K Following なぜか妻子持ちになっていた ■関数型／スクラム ■Haskell入門執筆 https://t.co/gNnNslRUkJ ■妻 : @G6_VRC

千葉大学理学部数学・情報数理学科卒、北陸先端科学技術大学院大学博士前期課程修了。Master of Science (Information Science). Constructive MathやRecursive Math (Not Recursion Theory)やNon-Classical Logicに興味。

直感の破壊者、... @sanjutsu_yu

1K Followers 1K Following 千葉大学理学部数学・情報数理学科卒、北陸先端科学技術大学院大学博士前期課程修了。Master of Science (Information Science). Constructive MathやRecursive Math (Not Recursion Theory)やNon-Classical Logicに興味。

cosh @cosh_jp

2K Followers 5K Following 生涯ナード @cosh_sub

wao @twmdap_5

110 Followers 107 Following 可愛いは温もり。あらゆることに可愛いげを見いだすことができればあらゆることに優しく対応できる。座右の銘は『好事魔多し』と『そなえよつねに』。

貧乏から成り上がり！6社経営/資産90億　現在は稼げる情報をお伝えしたり、10万円を配布したりしてます/今だけLINEお友達追加で10万円プレゼント中!まずはフォローしてください/当選確率UP中！➡　https://t.co/8jwymSoo2n

CHIKA＠ネット起�... @LhESjXhMhMn56Ce

32 Followers 691 Following 貧乏から成り上がり！6社経営/資産90億　現在は稼げる情報をお伝えしたり、10万円を配布したりしてます/今だけLINEお友達追加で10万円プレゼント中!まずはフォローしてください/当選確率UP中！➡　https://t.co/8jwymSoo2n

AlanHacker @KIjbA32aKPErSnQ

13 Followers 564 Following

ひなほよ @MarshmallCrazy

76 Followers 1K Following

Arcsec @arcsec_std

715 Followers 727 Following 有明高専 5I → 九大電情 ALGORI '23🥈ICPC2024 AsiaYokohama Procon33,34競技 PCK2023 本 GCI'23⛄️ AtC 🟩 / 🟩 OMC 🟩 エンジニアとして働いてます

éǵh₂ deywós h₁... @Egh2Deywos

346 Followers 485 Following 自作OS/osdev.jp/言語/歴史/宗教/神話/法相宗/唯識勉強中（名前は印欧祖語）

ITエンジニア業をしています。最近はNuxt,TS,Go,AWSやってる人と情報交換したい

【趣味・同人活動・日常垢】はこちら→@k_nulluo

Discord：nulluo#3472
VRChat：https://t.co/GYzwKaTatj

奇々浦ヌル夫@�... @nulluo_pg

138 Followers 328 Following ITエンジニア業をしています。最近はNuxt,TS,Go,AWSやってる人と情報交換したい【趣味・同人活動・日常垢】はこちら→@k_nulluo Discord：nulluo#3472 VRChat：https://t.co/GYzwKaTatj

이희권 @ihuigwon1582371

6 Followers 44 Following

Gianluca Finocchio @GnlcFnc

23 Followers 543 Following

なー @saruna0928

145 Followers 142 Following 理一32組→理数 B4

宇治大学京都形而上学研究科 †専士課程6年｜菅井八段🦐と天彦九段🥀のファンでプロ棋戦の #振り飛車判定マシーン(アマ三段)｜ #Gレコ #anime_eupho #FSS_jp #ShogiLive #蛇旅行 #蛇飯｜旧アカ: @k_tph (垢ロック) 天安門

☗蛇Ⅱ☖ 1y🦕 @daysUlab

863 Followers 893 Following 宇治大学京都形而上学研究科 †専士課程6年｜菅井八段🦐と天彦九段🥀のファンでプロ棋戦の #振り飛車判定マシーン(アマ三段)｜ #Gレコ #anime_eupho #FSS_jp #ShogiLive #蛇旅行 #蛇飯｜旧アカ: @k_tph (垢ロック) 天安門