Organizing : (株)オプトのエンジニアが、様々なテーマのイベントを不定期開催していきます。
リモート教育の難しさ - Google スライド
新卒と中途の若い人の教育に同時に関わって考えたこと
新卒採用・育成を通じて、プロダクト人材が育つカルチャーを作りたいお話
ヌーラボではじめての新卒技術者研修の紹介と振り返り
2年目に入った小学校プログラミング教育 ~ その現状と課題 ~
教える側が知らないプログラミングの3つのこと
意図的な学習につながる仕掛けのつくり方
第一回プログラミング教育について話し合う会 - Google スライド
PHP式プログラミング入門
自作Standard ML処理系LunarML
Nerves Livebook(世俗派関数型言語Elixir)で始める関数型プログラミング 〜ラズパイで楽しめるよ、ラズパイ持っていない人はPCで楽しめるよ(あ、Nervesはとれますけどね)〜
自前言語を仕事に使う話
Idris 2の数量的型が解決した問題、導入した問題 | κeenのHappy Hacκing Blog
関数型言語作成のチュートリアルをやってみる
関数型言語と形式手法でブロックチェーンを証明しよう
関数型っぽくROSロボットプログラミング
静的型付けプログラミング言語Shiika
多重ディスパッチを特徴とする言語 Mud
言語作成入門準備と代入制御
RustでつくるRuby