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

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

たった2日間で、通常なら数ヶ月～3年かかるようなスキルを一気に体得！ 「世界が広がった」「選択肢が増えた」「人生観が変わった」--そんな声が続々。AIプログラミング未経験者がたった2日間でLINE ...

法的推論のための形式言語を定義することで、法律分野でもプログラミングのように曖昧さを排除した記述が可能に 法律答案を作成する際に「答案構成」という名前で知られている答案を書く前の準備作業について、形式言語で記述できるエディターを制作し、公開します。また、それにあたって、法的推論のための形式言語「Matcha」を定義しました。 ※アクセスは過去7日間で集計しています。