Takeshi Hori

組み込みソフトウェアの開発者です。 自分の試した知見を【再現できる、思い出せる】ようにしたいです。 難しいことを簡単に、つまらないことを楽しくワクワクすることを書きたいです。

Smalltalkのファン。パーソナルコンピューティングの歴史や未来に興味を持つ。Smalltalkはアラン・ケイらが理想のPC向け暫定的OSとして70年代に試作し以降、GUIやIDE、OOPやデザパタ、開発手法等を創出、模倣されることで世に広めた。Smalltalkは、教養や古典である一方でアグレッシブな pharo.org などとしても今なお進化を続け、同時に他者へ影響を与え続けている。

2020年4月より理学博士。 専門は数学で、専攻は数理論理学が最も近いです。 定理証明支援系Coqを用いた形式検証が得意。

定理証明系や論理プログラミングに興味をもっています。

前職ではRTOSのuT-Kernelや組込みLinuxの開発などに従事していた技術者です。 趣味でCortex-M0/M3/M4/M7のマイコンを使った電子工作で面白そうなアイテムを作ったり、不定期でCQ出版Interface誌の記事の執筆を行っています。

SF作家の藤井太洋です。 writer, author of ORBITAL CLOUD and Gene Mapper 『オービタル・クラウド』で日本SF大賞と星雲賞、『ハロー・ワールド』で第40回吉川英治文学新人賞を受賞しました。最新刊は2021年3月に講談社文庫から刊行された『ハロー・ワールド』

テーラー柏原

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.

TOPPERS／箱庭WG活動でUnityやらAthrillやらmROSやら触ってます。 最近は仕事の関係でWeb系の技術に注力しつつ、箱庭への転用を模索しています。 2023年8月1日：合同会社箱庭ラボに移動しました

LALの笹川です。よろしくお願いします。