しょーた

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

カスタマーサクセス事業本部モダンワーク統括本部カスタマーサクセスマネジャー。 エンドユーザーの皆様に寄り添い、テクノロジーで世の中を良くしていきたいです！

競技プログラミングを中心に活動している square1001 です（代表的な実績：ICPC 2025 世界大会準優勝）。競技以外でも、国際情報オリンピックの問題作成等の活動にもかかわっています。Qiita では、競技プログラミングやアルゴリズムの楽しい世界などを発信していこうと思います。

困った時はすぐQiitaを始めとしたTipsを表面的に鵜呑みにし、使えそうなプロダクトを拾ってきてマニュアル通りに対応するプロダクト至上主義者達よ。そんなことでは、想定外の事態に見舞われた時すぐ死ぬぞ。想定外とは、マニュアルには載ってないから想定外なのだ。マニュアル通りにしか動けぬ者は、典型的なコンビニ店員の如く薄給に喘ぐだけ。頭を使え！UNIX哲学に目覚めよ！そしてPOSIX原理主義を崇拝せよ！

Python Golang

ハードより low-level プログラマー。でもLL好き。

プログラマ

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

数学青春物語『数学ガール』の作者。プログラミング入門書や暗号入門書なども書いてます。

nariさん

Coqなどによるプログラムの正しさの検証・証明に興味があります。

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