- @amoO_O
うん、まぁ。 I think so.
- あいや@aiya000
Moggiと"love"で接近中! 🤟🙄🤟
- @kyamaz
I love reading open source codes & papers in arXiv. My interests: #QuantumComputing #Haskell #量子情報. I'm @#OpenQL 未踏tg '18-'20.
- @HarakuniIemura
京都大学で数学を勉強しました。必殺技は、アウトフレーズ満載のバカテクギターと、バークリー式もリディアン・クロマチック・コンセプトもどんとこいな音楽理論、そして主に抽象代数と確率解析をはじめとする純粋数学です。仕事では、データベースと戯れる毎日ですが、いまだに成長が感じられません。
- @yTech
こんにちは
- @moatom
programming languages, functional programming, code generation / Scala, OCaml, C, Python
- @yoshihiro503
A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.
- @mamepon2580
関数型とHaskellと数学が好きです*
- 須原 浩道@suharahiromichi
定理証明系や論理プログラミングに興味をもっています。
- So Katagiri@KatagiriSo
iOSフリーランスエンジニア。お仕事募集してます。 数理科学とプログラミングもくもく会 http://map.connpass.com/ 技術ブログ http://rodhos.hatenadiary.jp/ 最近の興味:機械学習、量子論
- @muripo_life
平社員
- Tsutomu Saito@SaitoTsutomu
Programmer
- @mrrclb48z
再開します。 私は、いつも「大学入試数学問題集成掲示板」様のサイトで、ウロウロしています。 https://mathexamtest.bbs.fc2.com/ プロフィールに訂正線が有効でないみたいです。 ~~現在、記事の更新を停止しております。~~ 2024-05-01 https://ja.stackoverflow.com/users/17199/mrrclb48z
- まえすとろ@LyricalMaestro0
数学マニアなデータサイエンティスト。マニアと言いつつマニアの域には実力が達していないが…競プロとかkaggleとかやってたりします。あと、元Androidエンジニア。 https://atcoder.jp/users/LyricalMaestro