定理証明系や論理プログラミングに興味をもっています。
愛知県犬山市
ProofCafe - 名古屋Coq勉強会
Following Organizations
No Organizations you are following
Followers
- みなと @Prologの鬼！？@DrqYuto
(SWIPL)について、うるさい人です。
- ogata-k@ogata-k
RustとHaskellとAndroidとCLIツールと処理系好き。いつかRustかAndroidアプリ開発で仕事をしてみたい万年初心者。 Twitter（自称X）は@ogtkzkです。
@gyu-don来世はパンダになりたい。
@toyboot4e設定の記事を投稿します
@aaaKUKIaaa物理化学が専門です。
Kaiko@kaiko_mathHaskellとAgdaを学び始めた大学院生
@meta77人工知能に関する話題、数学基礎論、数理論理学、計算理論、確率統計、圏論、量子計算などが好きです。
- @fujisyu
Otameshi
- @yuji38kwmt
愛知のIT企業に所属しています。 基本的に自分用のメモとして、記事を書いております。 所属先の見解とは一切関係ありません。
@piacerex福岡でプログラマしています 超高速／省電力 非ノイマン型CPU開発 プログラマ歴42年、158言語書き IT企業3社経営 大学・高専・企業でプログラミング&AI講義 fukuoka.ex／ElixirConf JP創設 2023年スペ107コスプレ開始、体脂肪-9.2kg/5ヶ月 2025年1月STEPN開始、3月STEPNGO開始⋯毎日プレイ
- Satoshi Egi@egisatoshi
The creator of the Egison programming language.
- Yuji Ueki@unhappychoice
Full-stack Software Engineer
- Kazunori Sato@kazunori279
Developer Advocate, Cloud Platform
- 渡邊 裕貴@magicant
大学(院)では型システムについて研究してゐました。 長らくスマートフォン用電子書籍ビューアーを作る仕事をしてゐました。 最近はとあるスマートフォン用漫画配信サービスに携わってゐます。 趣味では yash といふコマンドラインシェルを作ってゐます。
- 気が向いたら 書くかも@selious
横浜好きのPythonistaでありPHPerです。次くらいにObjective-Cが好きです。でも仕事ではJSやJavaも使っています。Windows使いですがLinuxもMacも使っています。エグゼクティブ・フェロー＆フルスタックエンジニアを目指しています。今は特にSwift、Bootstrap4、Electron、Grunt、CentOS7、Docker、Vagrantに興味津々です
