Followees
- 阿部 耕二@juraruming
組み込みソフトウェアの開発者です。 自分の試した知見を【再現できる、思い出せる】ようにしたいです。 難しいことを簡単に、つまらないことを楽しくワクワクすることを書きたいです。
- @sumim
Smalltalkのファン。パーソナルコンピューティングの歴史や未来に興味を持つ。Smalltalkはアラン・ケイらが理想のPC向け暫定的OSとして70年代に試作し以降、GUIやIDE、OOPやデザパタ、開発手法等を創出、模倣されることで世に広めた。Smalltalkは、教養や古典である一方でアグレッシブな pharo.org などとしても今なお進化を続け、同時に他者へ影響を与え続けている。
- Kenta Inoue@nekonibox
2020年4月より理学博士。 専門は数学で、専攻は数理論理学が最も近いです。 定理証明支援系Coqを用いた形式検証が得意。
- 須原 浩道@suharahiromichi
定理証明系や論理プログラミングに興味をもっています。
- Yukiya Ishioka@Yukiya_Ishioka
前職ではRTOSのuT-Kernelや組込みLinuxの開発などに従事していた技術者です。 趣味でCortex-M0/M3/M4/M7のマイコンを使った電子工作で面白そうなアイテムを作ったり、不定期でCQ出版Interface誌の記事の執筆を行っています。
- 太洋 藤井@ttrace
SF作家の藤井太洋です。 writer, author of ORBITAL CLOUD and Gene Mapper 『オービタル・クラウド』で日本SF大賞と星雲賞、『ハロー・ワールド』で第40回吉川英治文学新人賞を受賞しました。最新刊は2021年3月に講談社文庫から刊行された『ハロー・ワールド』
柏原 一雄@kazuo_reveテーラー柏原
- Dr. Kiyoshi Ogawa@kaizen_nagoya
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.
- Mori Takashi@kanetugu2018
TOPPERS/箱庭WG活動でUnityやらAthrillやらmROSやら触ってます。 最近は仕事の関係でWeb系の技術に注力しつつ、箱庭への転用を模索しています。 2023年8月1日:合同会社箱庭ラボに移動しました
笹川 賢一@sym_numLALの笹川です。よろしくお願いします。