くろみかん - はてなｱﾝﾃﾅ

▽website under maintenance
●11/21 10:03 mion さん
2024-11-20 ｢神の証明｣の簡単化についての覚書ｶﾞｳｽの第六証明前回紹介した｢第六証明｣のｱﾚﾝｼﾞは､ Erd〓s のいう｢神の証明集｣に基づく（それぞれの定理について､最もｴﾚｶﾞﾝﾄな証明法を集めた天界の書物）｡美しい証明には違いないが､振り返ると､幾つか｢もっと簡単にできるのでは｣と思われる部分もある｡もしも｢数学のｷﾞﾈｽﾌﾞｯｸ｣のようなものがあったとしたら､｢平方剰余の相互法則｣は｢最も多くの別証明が考案･公表された定理｣として､そこに掲載されるらしい｡多くの研究者が何度もこの定理に取り組んだのは､だてや酔狂ではないし､ましてや｢本当に正しいのか？｣と疑問を感じて､再証明を試みたわけでもない｡いうなれば､幾つもの国境にまたがって延びる山脈｡｢同じ一つの山脈｣だけど､例えばｲﾀﾘｱ側から登るのとﾌﾗﾝｽ側から登るのとでは､全く別の風景を楽しめる｡どのｺｰｽの展望も素晴ら

▽Graviness Blog
●11/19 14:18 優乃さん
ｸﾞﾗﾃﾞｰｼｮﾝ作成ﾂｰﾙ (11/17)Web制作 (25)November 2024 (1)ｸﾞﾗﾃﾞｰｼｮﾝ作成ﾂｰﾙ⇒ 優乃 (11/18)ｸﾞﾗﾃﾞｰｼｮﾝ作成ﾂｰﾙ⇒ l-_-l (11/18)2024.11.17 Sundayｸﾞﾗﾃﾞｰｼｮﾝ作成ﾂｰﾙｸﾞﾗｰﾃﾞｼｮﾝ作成ﾂｰﾙｸﾞﾗｰﾃﾞｰｼｮﾝを生成するｵﾝﾗｲﾝﾂｰﾙを作成しました｡生成したｸﾞﾗｰﾃﾞｼｮﾝの色ｺｰﾄﾞ､HTMLｺｰﾄﾞ､CSSｺｰﾄﾞ､およびPNG画像を取得できます｡以下の色調を選択できます｡ﾗﾝﾀﾞﾑ (random)ﾓﾉｸﾛ色 (monochrome)暖色 (warm)寒色 (cool)中性色 (neutral)鮮やかな色 (bright)淡い色 (pastel)明るい色 (light)暗い色 (dark)飽和色 (saturated)抑えられた色 (muted)ﾎﾟｯﾌﾟな色 (po

▽覚え書き@kazuhi.to
●11/19 13:48 Kazuhito Kidachi さん
Raindrop.io Bookmarks 11/17/20242024年11月17日著Design Systems Q&A | Brad Frost"If we had a time machine, we'd go back and probably call them something like "User Interface Systems," which is more accurate, inclusive, and doesn't confuse people and organizations as much. But as someone who's had a hand in creating a buzzword, these words really do have a staying power that are hard to change once

▽山岸めも
●11/19 07:29 山岸和利さん
ｾﾞﾙﾀﾞの伝説ﾌﾞﾚｽｵﾌﾞｻﾞﾜｲﾙﾄﾞ[^1] (以下ﾌﾞﾚﾜｲ) をｸﾘｱしました｡記録によれば2019年7月に購入した2本でお得ﾆﾝﾃﾝﾄﾞｰｶﾀﾛｸﾞﾁｹｯﾄ[^2] (以下ｶﾀﾛｸﾞﾁｹｯﾄ) を使って引き換えているようなのですがﾌﾟﾚｲを始めたのは2021年9月となり､二年以上もの間隔を空けてしまいましたね｡先月末に発売されたNieR Replicant ver.1.22474487139...[^1]を買いまして､一ヶ月弱ほどで実績を全て達成させられました｡最初の方はほかのｹﾞｰﾑと平行しつつのんびりとﾌﾟﾚｲしていたのですが周回を重ねてｼﾅﾘｵの核心に近付くにつれて続きが非常に気になってしまいここ数日はずっとNieR Replicantのことばかり考えていました｡副業を始めたばかりであったり本業もちょうど忙しくなっていたﾀｲﾐﾝｸﾞではあったのですが睡眠時間や個人的な勉強の時

▽hail2u.net
●11/19 00:48 kyo さん
ｾｰﾀｰを出したら穴が開いている､一回休み (2024年11月18日14時15分)2024年11月18日明治ｻﾞ･ｶｶｵｶｶｵの果汁ﾁｮｺﾚｰﾄｶｶｵ味のﾁｮｺﾚｰﾄ｡

▽DTPab
●11/18 11:19
2024-11-18ﾌｧｲﾙ検索ｱﾌﾟﾘを作ったJXAはじめに会社のﾌｧｲﾙｻｰﾊﾞｰでの検索（finderの検索）が遅い､ないし場合によっては全く検索が動作しない､ということが稀にあり､非常に困っているという話を入社後に何度か聞いた｡のだけど､いざ自分がその場面に出くわすことがなくて､先日やっと…#JXA #Perplexity AI最終更新: 2024-11-18 11:19JXA (11)

▽smallball
●11/16 19:50 山口弘さん
お題をさがす｢吉田のうどん｣が素晴らしい｡麺のｴｯｼﾞが効いてる愛知､静岡､山梨朝4時過ぎに起床｡昨日は22時過ぎに布団に入ったので十分な睡眠｡事前に準備した荷物を車に詰め込み､眠る子達を後部座席に座らせて長旅が始まる｡愛知県までは俺の住む街から車でだいたい6時間半｡妻と運転を交代しながら気長に向かう｡音楽を聴いたり､子達としりと…石記旅行練りごまのかわりに､自家製ﾋﾟｰﾅｯﾂﾊﾞﾀｰを入れた！汁なし担々〓／令和6年11月10日汁なし担々〓この日は庭で育てた落花生を収穫しました！落花生を育てるのは2年目ですが､土寄せ？施肥？が難しくて､今回の出来は少し残念｡でも､子供たちは収穫を楽しんでいるのでよし！今年の落花生の出来は･･･微妙お昼ごはんには､収穫したての落花生でまず…諏訪部の採取記録～山菜･きのこ･釣り～家庭菜園"先輩の部屋にもｻﾝﾎﾞﾏｽﾀｰが迎えに来てくれたん

▽檜山正幸のｷﾏｲﾗ飼育記
●11/14 05:43 檜山正幸さん
2024-11-13複圏〈ｵﾍﾟﾗｯﾄﾞ〉とﾌﾟﾚ準同型射の圏雑記／備忘｢論理や型理論の圏論的意味論 // 導出ｼｽﾃﾑの圏と圏の圏｣において､導出ｼｽﾃﾑ達を対象とする圏に触れました｡しかし､導出ｼｽﾃﾑのあいだの準同型射（それが圏の射となる）を素朴に考えていては､どうもうまくないようです｡導出ｼｽﾃﾑは､複圏…複圏〈ｵﾍﾟﾗｯﾄﾞ〉とﾌﾟﾚ準同型射の圏

▽管理人ﾍﾟｰｼﾞ
●11/13 01:02 宇園まことさん
この言葉の意味は明確だと思っていたのですが､前回記事｢お薦め漫画：即死ﾁｰﾄが最強すぎて､異世界のやつらがまるで相手にならないんですが｡－ΑΩ－｣で『｢異世界もの｣とは､主人公が異世界に行って活躍する作品だとお考えください』と書いたところ間違っていると友人から言われ､異世界ﾌｧﾝﾀｼﾞｰとは何か考えました｡指輪物語､風の谷のﾅｳｼｶ､BASTARD!! -暗黒の破壊神-､ﾊﾘｰﾎﾟｯﾀｰ､魔法先生ﾈｷﾞま! 該当しない該当しない