主催 : (株)オプトのエンジニアが、様々なテーマのイベントを不定期開催していきます。
2年目に入った小学校プログラミング教育 ~ その現状と課題 ~
教える側が知らないプログラミングの3つのこと
意図的な学習につながる仕掛けのつくり方
第一回プログラミング教育について話し合う会 - Google スライド
PHP式プログラミング入門
自作Standard ML処理系LunarML
Nerves Livebook(世俗派関数型言語Elixir)で始める関数型プログラミング 〜ラズパイで楽しめるよ、ラズパイ持っていない人はPCで楽しめるよ(あ、Nervesはとれますけどね)〜
自前言語を仕事に使う話
Idris 2の数量的型が解決した問題、導入した問題 | κeenのHappy Hacκing Blog
関数型言語作成のチュートリアルをやってみる
関数型言語と形式手法でブロックチェーンを証明しよう
関数型っぽくROSロボットプログラミング
静的型付けプログラミング言語Shiika
多重ディスパッチを特徴とする言語 Mud
言語作成入門準備と代入制御
RustでつくるRuby
Clojure開発環境でのリンターclj-kondo, Joker設定まとめ: Spacemacs, IntelliJ IDEA (Cursive), VS Code (Calva)
Clojure開発環境での基本操作まとめ: Spacemacs, IntelliJ IDEA (Cursive), VS Code (Calva), rebel-readline
Clojure/ClojureScript関連リンク集
ClojureのDuctとClojureScriptのre-frameによるREST API + SPA開発入門