哲学者ならばプログラム言語を勉強したまえ