令掛 ベイン

ぷろぐらみんぐげんごがすきです

Real Bug Maker

絶望的に刺身にタンポポを載せる仕事に向いていないので諦めてプログラミングをします

計算資源は有限。効率よく使って、浮いた分で思い切り遊びたい。

プログラムが書けるペンギン。

HTML5で動作するゲームエンジン＋言語「Tonyu System2」を開発しています．

全てうまくいく。 とは限らない。。

記事の一覧（Qiita以外で書いたものも含む） https://memo88.hatenablog.com/archive Mastodon https://fedibird.com/@sonota88

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

Rustでコンパイラを書いてみたいと思ってるマン。

不労所得で生きたい。

Gentoo好きプログラマ。

東京都世田谷区です。

Zenn: https://zenn.dev/knjname

I love Rust🦀

tk72 (高3) / AtCoder 黄 / JOI’20 春合宿

頭の体操として趣味でプログラミングを勉強したり書いたりしてる人です。一応本業でもプログラミングしてます。ChatGPTをはじめとしたチャットAIの進化にビビりつつ楽しく会話してます。

迷えるC++プログラマを救う神様をやっています。

ネギトロがすきです

No problem. Everything's fine.

わたしの発言は一くろすすてっちゃ的発言であってー、ぷろぐらみんぐとかえすあいあーとかー所属企業とかー関係なくてーとりあえず何か作りたいなあっていつも思ってますー