yiereh
@yiereh.bsky.social
Solve the riddles posed by the Lord.
載せてる写真は全部自分で撮ったやつです。
載せてる写真は全部自分で撮ったやつです。
ニュートン力学で、ある力が閉路で仕事をしないことと、その力が保存則であることの証明ってストークスの定理使いますよね？only if の証明で。古典力学はどこでも微分幾何学ありますね。
October 5, 2024 at 3:36 AM
ニュートン力学で、ある力が閉路で仕事をしないことと、その力が保存則であることの証明ってストークスの定理使いますよね？only if の証明で。古典力学はどこでも微分幾何学ありますね。
運転するたび思うのですが、ハンドルを握って、道路交通法を遵守しつつ、適切な車間距離を取るとのできる文明人は驚くほど少ない。人類から一刻も早く運転が奪われてほしい！
October 5, 2024 at 3:29 AM
運転するたび思うのですが、ハンドルを握って、道路交通法を遵守しつつ、適切な車間距離を取るとのできる文明人は驚くほど少ない。人類から一刻も早く運転が奪われてほしい！
生モッツアレラチーズ買ったのですが、当然切り分けられていると思っていたら一つのでっかい塊でしたね…包丁取ってくるのめんどいかも…
September 22, 2024 at 4:43 AM
生モッツアレラチーズ買ったのですが、当然切り分けられていると思っていたら一つのでっかい塊でしたね…包丁取ってくるのめんどいかも…
Bluesky のユーザー数は現在 1,000 万人を超えており、私は #5,483,041 番目でした。
ホントは招待制のときからいたんだけど、その時のアカウントは人間関係キャンセルしちゃった…
ホントは招待制のときからいたんだけど、その時のアカウントは人間関係キャンセルしちゃった…
September 17, 2024 at 9:50 AM
Bluesky のユーザー数は現在 1,000 万人を超えており、私は #5,483,041 番目でした。
ホントは招待制のときからいたんだけど、その時のアカウントは人間関係キャンセルしちゃった…
ホントは招待制のときからいたんだけど、その時のアカウントは人間関係キャンセルしちゃった…
カフェでおばあちゃんに無線イヤホンのこと聞かれて、私は老人だから有線しか使えないよ〜とおっしゃっていたので、有線のメリットをよく知らない私はとっさに有線のほうが妨害に強いすよね！みたいな意味不明な事口走ってしまった。この前クルスク戦線のロシア軍の光ファイバードローンが電子妨害の中で超鮮明な画像付きで敵軍を攻撃してるの見たので、それが影響したかも？
September 17, 2024 at 8:28 AM
カフェでおばあちゃんに無線イヤホンのこと聞かれて、私は老人だから有線しか使えないよ〜とおっしゃっていたので、有線のメリットをよく知らない私はとっさに有線のほうが妨害に強いすよね！みたいな意味不明な事口走ってしまった。この前クルスク戦線のロシア軍の光ファイバードローンが電子妨害の中で超鮮明な画像付きで敵軍を攻撃してるの見たので、それが影響したかも？
現状世界で唯一、Signalだけがデフォルトで完全なE2EEを実現して、通信相手以外の誰もメッセージを見れない。しかも開発元のSignal Foundationは寄付ベースのnon profit運営をしているわけで、たとえアメリカのサービスであったとしても嫌厭せず使うべきだった。Telegramはサーバー抑えられて、世界中に分散保存されてる暗号鍵を万が一取り出されたら、会話の内容は丸見えになってしまう。
August 26, 2024 at 9:42 AM
現状世界で唯一、Signalだけがデフォルトで完全なE2EEを実現して、通信相手以外の誰もメッセージを見れない。しかも開発元のSignal Foundationは寄付ベースのnon profit運営をしているわけで、たとえアメリカのサービスであったとしても嫌厭せず使うべきだった。Telegramはサーバー抑えられて、世界中に分散保存されてる暗号鍵を万が一取り出されたら、会話の内容は丸見えになってしまう。
ロシアが完全なE2EEアプリであるSignalをブロックして、ろくに暗号化がされていないし暗号化プロトコルの検証もろくにされてないはずのTelegramを使い続けるのは正直理知的でないと思う。恐らく、Signalはアメリカベースなので心理的に嫌厭して、Telegram はロシア人が作ったから使い続けるみたいな情による判断だったのかな？
August 26, 2024 at 9:36 AM
ロシアが完全なE2EEアプリであるSignalをブロックして、ろくに暗号化がされていないし暗号化プロトコルの検証もろくにされてないはずのTelegramを使い続けるのは正直理知的でないと思う。恐らく、Signalはアメリカベースなので心理的に嫌厭して、Telegram はロシア人が作ったから使い続けるみたいな情による判断だったのかな？
日本人は最初に精神論だけが先鋭化してまともに状況を客観視できず、勝つための戦略を練ることができなくて勝ち戦ができないということは80年前に実証済みなので、次の戦争が起きたら私は真っ先に逃げるぞ。
July 24, 2024 at 9:59 AM
日本人は最初に精神論だけが先鋭化してまともに状況を客観視できず、勝つための戦略を練ることができなくて勝ち戦ができないということは80年前に実証済みなので、次の戦争が起きたら私は真っ先に逃げるぞ。
定理証明系サイドの人間だから申し上げますが、LLMと証明支援系は相性が最悪だと思います。厳密な数学的推論が出来るLLMというのは、もはや矛盾用法に等しいですから…
July 7, 2024 at 6:57 AM
定理証明系サイドの人間だから申し上げますが、LLMと証明支援系は相性が最悪だと思います。厳密な数学的推論が出来るLLMというのは、もはや矛盾用法に等しいですから…
Macをお使いの皆様は、ぜひskimというPDFリーダーを試していただきたいですね。OSSで、ダークモードで読めるし、PDFの画面に合わせたサイズ変更も簡単にできて、インストールもbrew install --cask skim 一発です。Mac 版のGNOME evinceみたいな使い心地で、いいですよ。
July 6, 2024 at 2:19 AM
Macをお使いの皆様は、ぜひskimというPDFリーダーを試していただきたいですね。OSSで、ダークモードで読めるし、PDFの画面に合わせたサイズ変更も簡単にできて、インストールもbrew install --cask skim 一発です。Mac 版のGNOME evinceみたいな使い心地で、いいですよ。
今日は1日中別分野の専門家の方々の為のGitHub講習会の資料を作っていた。ProGitめっちゃ読み込んでgitにめっちゃ詳しくなった…
June 30, 2024 at 1:47 PM
今日は1日中別分野の専門家の方々の為のGitHub講習会の資料を作っていた。ProGitめっちゃ読み込んでgitにめっちゃ詳しくなった…
関数のwell definednessって、単に今関数として定義したい対象がちゃんと写像の定義(\forall x,y \in dom(f), x=y \implies fx = fy)を満たしているか確認するだけ事ですものね？
June 30, 2024 at 1:38 PM
関数のwell definednessって、単に今関数として定義したい対象がちゃんと写像の定義(\forall x,y \in dom(f), x=y \implies fx = fy)を満たしているか確認するだけ事ですものね？
もしかしなくても、Girard先生のLudicsや超越論的シンタクスはアラン・ケイのオリジナルのOOPの数学的定式化に使えそうだよね。相互作用としての計算パラダイムには本当に期待しているんだ私。
June 30, 2024 at 8:00 AM
もしかしなくても、Girard先生のLudicsや超越論的シンタクスはアラン・ケイのオリジナルのOOPの数学的定式化に使えそうだよね。相互作用としての計算パラダイムには本当に期待しているんだ私。
自然が選択するという文言ってかなり直球の偶像礼拝だねと、ふとそう思った。私は、いかなる秩序にも作り手が存在していると信じているが、それは私が普段から数学的にもお金稼ぎの実務としても計算機に相対していて、どんな小さな秩序にも実現には多くの手間がかかることを体験しているからなのだろう。
June 30, 2024 at 7:50 AM
自然が選択するという文言ってかなり直球の偶像礼拝だねと、ふとそう思った。私は、いかなる秩序にも作り手が存在していると信じているが、それは私が普段から数学的にもお金稼ぎの実務としても計算機に相対していて、どんな小さな秩序にも実現には多くの手間がかかることを体験しているからなのだろう。
尾道行ってきました。海辺のカフェで夕日に照らされる水面を眺めつつ数学するやつ、またやりたいです。
June 2, 2024 at 4:35 AM
尾道行ってきました。海辺のカフェで夕日に照らされる水面を眺めつつ数学するやつ、またやりたいです。
アラン・ケイも言っていたかもしれないけれ 、ソフトウェア工学の最大の欠点はまだちゃんとした工学、すなわちソフトウェアの設計から実装まで一気に行えるような数学的な理論の整備に至っていないことだよね。最初から最後まで 数学的な見通しを持って設計と実装を行えたらどんなにいいことか…
June 2, 2024 at 4:32 AM
アラン・ケイも言っていたかもしれないけれ 、ソフトウェア工学の最大の欠点はまだちゃんとした工学、すなわちソフトウェアの設計から実装まで一気に行えるような数学的な理論の整備に至っていないことだよね。最初から最後まで 数学的な見通しを持って設計と実装を行えたらどんなにいいことか…
私は一応学部で圏論とか依存型とか学んでコンピューターサイエンスを修めたソフトウェアエンジニアですが、数学を使って対象を制御する工学、化学系のエンジニアの方々のことを敬意を込めて本物のエンジニアとお呼びしていますね。
June 2, 2024 at 4:25 AM
私は一応学部で圏論とか依存型とか学んでコンピューターサイエンスを修めたソフトウェアエンジニアですが、数学を使って対象を制御する工学、化学系のエンジニアの方々のことを敬意を込めて本物のエンジニアとお呼びしていますね。
香川県小豆島の、エモい路地です。最近はこのあたりへの出張が多くて、香川県が第二の故郷になりつつあります。とにかくうどんが美味しいのは確かです。はなまるうどんでも大満足できます。
May 25, 2024 at 6:54 AM
香川県小豆島の、エモい路地です。最近はこのあたりへの出張が多くて、香川県が第二の故郷になりつつあります。とにかくうどんが美味しいのは確かです。はなまるうどんでも大満足できます。
3週間くらい前にAWSを使った基盤構築を1から設計して提案書書いて欲しいってお願いされたんですが、かなりの無茶振りにもかかわらず、引き受けてしまった仕事を断れない性分なので今休日出勤しています。いや、新卒2年目で設計やらせてくれるの嬉しいですし、小さな会社なので私以外AWSを使える人は少ないっていうのもあるのでしょうが、もう少しだけ早く頼んで欲しかった…
May 25, 2024 at 6:50 AM
3週間くらい前にAWSを使った基盤構築を1から設計して提案書書いて欲しいってお願いされたんですが、かなりの無茶振りにもかかわらず、引き受けてしまった仕事を断れない性分なので今休日出勤しています。いや、新卒2年目で設計やらせてくれるの嬉しいですし、小さな会社なので私以外AWSを使える人は少ないっていうのもあるのでしょうが、もう少しだけ早く頼んで欲しかった…
オーロラすごいですね。まるで、神がついに人類を顧みて、地上に降り立つ時の後光のようだ。
May 11, 2024 at 1:45 AM
オーロラすごいですね。まるで、神がついに人類を顧みて、地上に降り立つ時の後光のようだ。
愛国者なので、普段はJCBを使って決済していますが、海外サイトの書籍（AMSの数学書とか)を買う時はJCB使えないことがあって大変ですね。PayPalでお支払いできればバックエンドがJCBで行けて便利ですが、PayPalできないところもあったりします。自国の決済ブランドって貴重なはずで、なるべく生き延びてほしいので、多少の不便に耐えながらも公共交通機関使うような感覚です。
April 27, 2024 at 4:04 AM
愛国者なので、普段はJCBを使って決済していますが、海外サイトの書籍（AMSの数学書とか)を買う時はJCB使えないことがあって大変ですね。PayPalでお支払いできればバックエンドがJCBで行けて便利ですが、PayPalできないところもあったりします。自国の決済ブランドって貴重なはずで、なるべく生き延びてほしいので、多少の不便に耐えながらも公共交通機関使うような感覚です。
