Masahiro Sakai

スパコン製作、無線、登山、ドライブ、サイエンスを楽しんでいるニコ厨です。 不束者ですがよろしくお願いします。 ニコ：https://nicovideo.jp/user/84757291 X:https://x.com/dmepjp 依頼等ご自由に ディアちゃんマジ天使 いいね・ストックいただけますと幸いです

Statically typed なプログラミング言語が好きなおじさん。

iOS Developer

福岡でプログラマしています 超高速／省電力 非ノイマン型CPU開発 プログラマ歴42年、158言語書き IT企業3社経営 大学・高専・企業でプログラミング&AI講義 fukuoka.ex／ElixirConf JP創設 2023年スペ107コスプレ開始、体脂肪-9.2kg/5ヶ月 2025年1月STEPN開始、3月STEPNGO開始⋯毎日プレイ

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.

凝った記事は Zenn <https://zenn.dev/lotz> に書いていきます

大学教員。 「型システム入門 (TAPL)」訳者の一人。 OCaml と Haskell が好きです。 かつては IT プランニングという企業において関数型プログラミング言語でソフトウェア開発をしていました。 ソフトウェア形式検証とプログラミング言語に興味があります。 博士（情報科学）。

http://profile.hatena.ne.jp/khibino0/ http://www.haskellers.com/user/khibino Haskell で RBD query を記述するライブラリを作りました http://khibino.github.io/haskell-relational-record

音楽 https://goo.gl/abY3NE : 開発 http://github.com/shiatsumat : 雑記 http://shiatsumat.hatenablog.com

A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.

定理証明系や論理プログラミングに興味をもっています。

自然言語処理とか機械学習とか競技プログラミングとか