「プログラミングって、すでにあるものだけど、それをどう数学的に形式化するかは人ぞれぞれ。『自分はこうやって考えるよ！』って世界中の人に伝えたい」と語る髙木先生。常識やルール、“順番”という名の制約さえも軽やかに飛び越え、自分だけの問いを、自分だけのやり方で追いかける。静かに語られる言葉の奥に宿る、真っ直ぐな思いと情熱。あなたの心にもきっと響くはず！

※所属・役職・内容は制作当時のものです。

【JAIST変人ラジオ】（大学ウェブページ）
［シーズン１］https://www.jaist.ac.jp/about/radio/

【研究室ガイド】計算論理学研究室（大学ウェブページ）
　https://www.jaist.ac.jp/laboratory/cs/tsubasa.html