生成AI（人工知能）時代を迎え、小中高校などでのプログラミング教育はどう変わるべきか。広島大学の宮島衣瑛特命助教は、学習内容をアニメーションなどで表現する「学びの作品化」を提唱する。筆者は主に各地の小学校のプログラミング教育に関わり、望ましい学びの姿 ...

生成AI（人工知能）時代を迎え、小中高校などでのプログラミング教育はどう変わるべきか。広島大学の宮島衣瑛特命助教は、学習内容をアニメーションなどで表現する「学びの作品化」を提唱する。筆者は主に各地の小学校のプログラミング教育に関わり、望ましい学びの姿を試行錯誤してきた。そのなかでたどり着いたのが「学びの作品化」と名付けた学習活動だ。例えば「フードロスについて学んだ内容を、プログラミングを使っ ...

株式会社マイナビ出版（本社：東京都千代田区、代表取締役 社長執行役員：角竹輝紀）はこのたび、『ゼロからのTCP/IPプロトコルスタック自作入門』を2025年11月21日に発売します。

プログラミング言語の人気ランキング「TIOBE Index」の2025年11月版が公開された。Pythonが引き続き首位を独走し、同年10月に順位が入れ替わったC、C++がこれに続いた。C#が最近の勢いを維持してレーティングを伸ばした。

【概要】法律答案を作成する際に「答案構成」という名前で知られている答案を書く前の準備作業について、形式言語で記述できるエディターを制作し、公開します。また、それにあたって、法的推論のための形式言語「Matcha」を定義しました。 窃盗罪の論述を形式言語で記述した例 ...

自由部門で特別賞を受賞・競技部門も大健闘 宿も列車もぎゅうぎゅう詰め楽しい修学旅行は戦後すぐから ...