0285132人目の素数さん垢版 | 大砲2018/08/29(水) 22:15:51.56ID:LWtFkbge じゃあたとえば ヒドラの定義と ヒドラがwell-definedである証明 をしてください