定理証明系や論理プログラミングに興味をもっています。
愛知県犬山市
ProofCafe - 名古屋Coq勉強会
Following Organizations
No Organizations you are following
Followers
- みなと @Prologの鬼！？@DrqYuto
(SWIPL)について、うるさい人です。
- ogata-k@ogata-k
RustとHaskellとCLIツールと処理系好き。いつかRustで仕事をしてみたい初心者。 Twitterは@ogtkzkです。
- @gyu-don
来世はパンダになりたい。
@toyboot4e設定の記事を投稿します
@aaaKUKIaaa物理化学が専門です。
Kaiko@kaiko_mathHaskellとAgdaを学び始めた大学院生
- メタ@kyogoku_meta
人工知能、数学基礎論、論理学、計算論などが好きです。
- @fujisyu
Otameshi
- @yuji38kwmt
愛知のIT企業に所属しています。 基本的に自分用のメモとして、記事を書いております。 所属先の見解とは一切関係ありません。
@piacerex福岡でプログラマしながらIT商社とIT企業を経営してます。Elixir／Kerasをよく使う。Elixirコミュ#fukuokaex、福岡理学部#FukuokaScienceを主催。プログラマ歴41年／XPer歴22年／デジタルマーケッター／経営者／CTO／技術顧問数社。 シボと重力子放射線射出装置は別腹(^^)
- Satoshi Egi@egisatoshi
The creator of the Egison programming language.
- Yuji Ueki@unhappychoice
Languages: Ruby, Swift, Kotlin, Scala, TypeScript, etc... Full stack developer
- Kazunori Sato@kazunori279
Developer Advocate, Cloud Platform
- Dr. Kiyoshi Ogawa@kaizen_nagoya
I'm a network designer.I work on TOPPERS SmallestSetProfile Kernel,MISRA-C/C++, STARC RTL Design StyleGuide (Verilog-HDL), and HAZOP.I was an editor of ISO/IEC 15504.
- 渡邊 裕貴@magicant
大学(院)では型システムについて研究してゐました。 長らくスマートフォン用電子書籍ビューアーを作る仕事をしてゐました。 最近はとあるスマートフォン用漫画配信サービスに携わってゐます。 趣味では yash といふコマンドラインシェルを作ってゐます。
- 気が向いたら 書くかも@selious
横浜好きのPythonistaでありPHPerです。次くらいにObjective-Cが好きです。でも仕事ではJSやJavaも使っています。Windows使いですがLinuxもMacも使っています。エグゼクティブ・フェロー＆フルスタックエンジニアを目指しています。今は特にSwift、Bootstrap4、Electron、Grunt、CentOS7、Docker、Vagrantに興味津々です
