2019年に逝去された渕教授関連のページの公開は終了しました．