youken

国立大学大学院(専攻：記号論理学)を修了後、約７年間中高の数学（情報）教師として勤務。人身事故をきっかけに退職し、現在はITエンジニア。勉強したことをまとめていきます。