• @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

    平社員

  • @mrrclb48z

    再開します。 私は、いつも「大学入試数学問題集成掲示板」様のサイトで、ウロウロしています。 https://mathexamtest.bbs.fc2.com/ プロフィールに訂正線が有効でないみたいです。 ~~現在、記事の更新を停止しております。~~ 2024-05-01  https://ja.stackoverflow.com/users/17199/mrrclb48z

  • まえすとろ@LyricalMaestro0

    数学マニアなデータサイエンティスト。マニアと言いつつマニアの域には実力が達していないが…競プロとかkaggleとかやってたりします。あと、元Androidエンジニア。 https://atcoder.jp/users/LyricalMaestro