@kobae964

EmacsとかLispとかHaskellが好きです。最近はRust。 最近はScrapboxでメモをよく書いてます。 https://scrapbox.io/pogi-log/

(SWIPL)について、うるさい人です。

幾何の問題をプログラムで解く研究をしています。あとは定理証明(e.g. Lean)の勉強もしています。

各種監視制御システム開発にて、営業、開発設計から保守まで部門を経験、基礎的技術を習得後、フリーランスとして主に医療機器の開発を行う。 組込ソフトのオープンソース化とドキュメント自動化を望んている。

中学2年生です。主に競プロの記事を書きます。AtCoder水色です。

はてな https://yossan.hatenablog.com/

C++ & boost lover だったが、禅の心持ちというかシンプル・イズ・ザ・ベストの精神で C に回帰中。メタルからロックンロールに戻ってきて Rolling Stones に今更夢中。

強く型づけされた static おじさん。Statically typed なプログラミング言語が好き。

プログラミング学習中の超初心者です。

現在、記事の更新を停止しております。 https://ja.stackoverflow.com/users/17199/mrrclb48z

福岡でプログラマしながらIT商社とIT企業を経営してます。Elixir／Kerasをよく使う。Elixirコミュ#fukuokaex、福岡理学部#FukuokaScienceを主催。プログラマ歴41年／XPer歴22年／デジタルマーケッター／経営者／CTO／技術顧問数社。 シボと重力子放射線射出装置は別腹(^^)

設定の記事を投稿します

Just a Rustacean. I recommend to use dev.to or Stack Overflow instead of Qiita.

東京大学 2 年の米田（E869120）です。 AtCoder・CodeForces でレッドコーダーです。国際情報オリンピックにも出場しています。競技プログラミング関連のことを記事にしていきます。よろしくお願い致します。 著書『「アルゴリズム×数学」が基礎からしっかり身につく本』 https://amazon.co.jp/dp/4297125218/

コンピューターの性能を引き出せば、エネルギー効率が良くなり、ユーザーのストレスも軽減できる、そんな夢と浪漫があってもいいじゃない

株式会社NTTデータ数理システム (顧問)。アルゴリズムをはじめとしたコンピュータサイエンスの諸分野の啓蒙活動に従事。機械学習やアルゴリズムに関して面白いと思ったことを記事にしていきたいと思います。記事へのリンク等についてはお気軽にしていただいて大丈夫です。よろしくお願いします。

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.

Languages: Ruby, Swift, Kotlin, Scala, TypeScript, etc... Full stack developer

Haskeller, Vimmer, Engineer.