ltzz

37 Contribution

/ Following users

Cで組込みソフトがメイン.一時期,C#でWindowsソフトも.次はJava・・・と思ったけどKotlinでAndroidかな?Verilogもできるけど,それは内緒.プログラムじゃないし.トロンフォーラムの個人会員になった.最近は人事異動で専門外の部署に配属されてやばい.あとガザミはカニの中で一番おいしい.

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

高校生

C#使ってましたがPythonに浮気してます。IoTでビッグデータをディープラーニングする闇の魔術の趣味をはじめました。 技術書典7は落選のためありません。技術書典6の通販はこちらから https://note.mu/koshian2/n/naa60d5c9ebba

離散最適化を研究している修士課程の学生

C言語の組み込み開発ばかりだった危機感から、NodeJS、electronアプリ、KotlinのAndroidアプリ開発を始めてカルチャーショックな日々を送ってます。最近はRailsも始めました。エディタは今も昔もVim。今一番欲しいものRaspberry Pi。将来の夢は子供と一緒にログハウスを建てること

グルーコードテクノロジーズ株式会社とmonocla株式会社でCTOをやっています。 PHPでの開発を中心に、Webサービスなどの開発をしています。

人売り企業所属のザコ。基本知ったかぶりです。

僕に警備する自宅をください。Emacs初心者。Rubyist。 全ての投稿された記事は別段の表記がない限りはCC 3.0 BY-SA https://creativecommons.org/licenses/by-sa/3.0/deed.ja で二次利用できます。 記事中に含まれる全てのコードスニペットの著作権は抛棄するので、煮るなり焼くなりお好きにどうぞ。

ネタ切れ

にゃーん

Androidアプリ'SobaCha'を開発しています。

初音ミクさんを中心とする正規分布にしたがっています

いかがでしたか?

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