みなさーん、くるくるー！アメリカの州立大学で集合論やってる中年おじさん、くるるでーす。 アイコンはbing image creatorによるkururu_goedel。 twitter: kururu_goedel, mathtod: kururu

interested in computation and logic.

鳩です

日常

g-000-001

だいたい https://zy.gy/yf に居ます

熊本/京都/神奈川/Coq/SSReflect/

Rust🦀すき Python🐍もすき お絵描き練習中 https://cosen.se/VisualBasist/

📍Я⦿Ж⦿R

はろー(羊羹)

ひきこもごも

ミクさんの姿をしています / AtCoder A🔵 H🔴 / icon: @inudesuwa.bsky.social

ビジネス概念を抽出してクラス化してテストを書く。ドメインを純粋に保つ。JIGが羨ましくてphp-class-diagramを作ってます。ドメインプリミティブ。希望の光なんて無くったっていいじゃないか。CでStarbug1というBTSを作ってました。 CodeZine記事 健全なソフトウェア設計の第一歩！ 既存のPHPソースコードからクラス図を自動生成しよう https://codezine.jp/article/detail/20561

日曜プログラマー。ねこになりたいやぎ。

小人閒居為不貞寝 @mr_konn from Twitter

海老レンジャイ コチニールレッド AtCoder(A水/H橙),TopCoder(MM黄),CodinGame(Grandmaster) CodeGolf,Python,C#,C++,Unity,Blender,Arduino,3Dプリンタ スキンヘッド,中卒,引きこもり,ヤマトコン2位,第4回Asprovaコン4位