役に立たないことを学ぶということ｜ロボ太私は大学の理工系の学部で、PythonとGit/GitHubを教えています。Pythonが学部2年生、Git/GitHubが学部3年生向けで、どちらも必修です。 これらの講義の中で、私は「今日は重要な回だから集中して聞いて欲しい」「今日はあまり重要でない回だから気軽に聞いて欲しい」と重み付けをしています。その中で、「今日やることはこれからの人生で全く役に立たないから、気軽に聞き流して欲しい」と言う回があります。Pythonでは「Pythonが動く仕組み」という回で、Pythonが入力されたプログラムを抽象構文木を経由してバイトコードに変換して、それがスタックマシンとしてVMで実行される様子を学びます。Gitでは「Gitの中身」と題して、Gitのコマンドが裏で実際になにをやっているのか、特にコミットオブジェクトやブランチがどのように実装されているのかを学びます。 PythonでもGitでも、
