無限公理集合論 日本語一般化文法 絶対音楽理論 などを研究している日曜学者 兵法家 門月流 打手の創始者