▽はてなｱﾝﾃﾅ - KENZ
●11/22 10:52
2024/11/21 10:03:14 妖精現実 ﾌｪｱﾘｱﾙ2024-11-20 ｢神の証明｣の簡単化についての覚書 ｶﾞｳｽの第六証明前回紹介した｢第六証明｣のｱﾚﾝｼﾞは､ Erd〓s のいう｢神の証明集｣に基づく（それぞれの定理について､最もｴﾚｶﾞﾝﾄな証明法を集めた天界の書物）｡美しい証明には違いないが､振り返ると､幾つか｢もっと簡単にできるのでは｣と思われる部分もある｡もしも｢数学のｷﾞﾈｽﾌﾞｯｸ｣のようなものがあったとしたら､｢平方剰余の相互法則

▽d.y.d.
●11/21 20:58
22:22 21/11/20ﾎﾞﾚﾛ村上(村上原野)さんと constexpr のこと去る2020年2月､縄文陶芸家にしてC++ﾌﾟﾛｸﾞﾗﾏという希有な二つの顔を持つ人物がこの世を去りました｡ ﾎﾞﾚﾛ村上 (村上原野) 氏です｡正直なところ､陶芸家としての彼の側面については私はほとんど何も知らないに等しいです｡残された作品を見て何かを語れるほど芸術に通じているわけでもありません｡いつか機会があれば見に行こうと思っていた村上さんの作品を目にする最初の機会も､昨年訪れた追悼展になってしまいました｡ただ､それでも私は､彼自身の登壇発表の資料 であったり､そして何よりも縄文･陶芸に造詣の深い方々の記された幾つかの文章（たとえば "なぜ若き縄文ｱｰﾃｨｽﾄはﾘｱﾙをめざしたのか〜村上原野くんを偲んで"）によって､彼が一体何を成し遂げたのか､成し遂げようとしていたのかに触れることができ