|
|
|
|
|
||
|
||
すべて | グループ指定なし | C#&.NET海外 | C#&.NET日本
5 days 10 hours ago
1 week 1 day ago
6 weeks 3 days ago
6 weeks 3 days ago
18 weeks 4 days ago
18 weeks 5 days ago
18 weeks 6 days ago
18 weeks 6 days ago
19 weeks 4 days ago
19 weeks 4 days ago
Post comments count 6
Forza Horizon雑記 日本車 ウインター 2026/03/13 #ForzaHorizon5 #Forzathon
トライアル終了。記念写真、コレクタブルズ終了。ウィークリー終了。2002 Mazda RX-7 Spirit R Type-AのS1クラスチューンを公開しています。共有コードは、112 667 190 です。1992 Mitsubishi ...
2026-03-13
ForzaXboxゲーム
Forza
2026年3月 (6)
Forza (888)
Xbox (2,142)
ゲーム (2,219)
Forza Horizon雑記 日本車 ウインター 2026/03/13 #ForzaHorizon5 #Forzathon
Microsoft Build
Learn the latest in multi-model training, master orchestration agent workflows, and build alongside Microsoft product and engineering teams with hands-on sessions.
Learn more
Powered by .NET 10.0.5
2026-03-11
アルスラーン戦記(24)
読書
蛇王ザッハークがアンドラゴラスの遺体に乗り移る形で復活。クバードですらタイマンで負けそうな、このつよつよ蛇王倒せるのだろうか。ルクナバードが鍵なんだろうな。ただ、アルスラーンは抜けない。ヒルメスなら抜けるのか？
原作未履修なんだけど、原作と同じ展開なんだろうか。それとも、コミックオリジナルの展開に入った？なんか最終決戦ぽい。第一部で纏めてしまうつもりなんかな。
アルスラーン戦記（２４） (週刊少年マガジンコミックス)
作者:荒川弘,田中芳樹
講談社
Amazon
griefworker 2026-03-11 22:51 読者になる
Share on Tumblr
広告を非表示にする
もっと読む
コメントを書く
アルスラーン戦記(24)
読書 (453)
https://gist.github.com/ufcpp/e71c3b17c4102c1ed379
2026-03-11
ホーア論理とホーアオートマトン 8/n ： ローヴェア、ゴグエン、ホーア、メイヤー
雑記／備忘
今回は、ホーア論理とホーアオートマトンに関するビッグピクチャー（俯瞰的に見た全体像）について語ります。その際、ローヴェア〈Francis William Lawvere〉、ゴグエン〈Joseph Amadee Goguen〉、ホーア〈Charles Antony Richard Hoare〉、メイヤー〈Bertra…
ホーア論理とホーアオートマトン 8/n ： ローヴェア、ゴグエン、ホーア、メイヤー
OpenTitan、製品として出荷開始
2026年3月10日火曜日
この記事は Cyrus Stoller & Miguel Osorio, OpenTitan による Google Open Source Blog の記事"OpenTitan shipping in production" を元に翻訳・加筆したものです。詳しくは元記事をご覧ください。
昨年、Google は OpenTitan シリコンの製品製造が開始されたというエキサイティングなニュースを共有 (英語) しました。今日、OpenTitan® が市販の Chromebook に搭載され、出荷が開始されたことを発表いたします。
最初の OpenTitan パーツは、シリコン セキュリティのリーダーである Nuvoton (英語) によって製造されています。
OpenTitan とは？
過去 7 年間にわたり、Google はオープンソース コミュニティと協力して、初のオープンソース シリコン Root of Trust (RoT：信頼の起点) である OpenTitan を構築してきました。RoT は、デバイスの他のすべてのセキュリティ特性が導き出される基盤となります。これをシリコンに固定することで、実行されるコードが承認と検証済みであることを、可能な限り強力なセキュリティ保証として提供します。
OpenTitan プロジェクトとそのコミュニティは、独立した非営利団体である lowRISC C.I.C. (英語) によって積極的にサポートと維持されています。OpenTitan は、Google のエコシステム全体で使用できる、高品質かつ低コストでコモディティ化されたハードウェア RoT をコミュニティに提供します。また、Google が推奨するセキュリティ機能を業界全体に広く普及を後押しする役割も担っていま
/ Walmart Plus / 冴えないバイリンガル脳 / スキルと筋肉・再訪 / 考えられなさ / 脊髄反射記 #6 / Prediction Market と電話機 / 脊髄反射記 #5 / Agentic-coding snapshot as of Feb. / もっとアニメを見ておきたかったかもしれない / 散財 / If we're not at the table, we're on the menu. / 脊髄反射記 #3 / 脊髄反射記 #2 / Book: Web Browser Engineering / メモ環境遍歴四半世紀 / Outcome and Process / ...
Walmart Plus
Mar 9, 2026
最近 grocery delivery に Walmart Plus を使い始めた。
COVID 時代に契約して以来、これまで五年くらいは Imperfect Foods を使ってきた。ただ野菜の品質にばらつきが大きいという従来の不満に加え、最近はベーシックな食材すら確実に買えない謎の在庫不足が目に付き、諦めた。牛乳が lactose free milk しかないとか勘弁してくれ。
Walmart Plus は注文した品を近所の店舗から届けてくれるというモデル。Walmart なので今の所ベーシックな品揃えに不満はない。
費用は $13/m の会費に加え、送料のチップが 10% かかる。（チップ率は選べるが、税金なのでデフォルトにしている。）送料は高く感じるが、Walmart は商品が根本的に安めなのでトータルでは Imperfect Foods と大差ない感じ。
週に二回ぐらい配達してもらっている。数ではなく価格に比例した費用（チップ）なので、バッチにまとめる動機がない。ただし配達無料の最低ラインが $35 で、このライン
Issues 77
WordPress.com で無料サイトやブログを作成.
↑ Top WordPress.com Blog.
Consumer Health Privacy
Consumer Health Privacy
Consumer Health Privacy
Consumer Health Privacy
2026-03-08
Azure DevOps 2026/3/5の更新
Azure DevOpsリリース Azure Boards Azure Repos Azure Test Plans
Share on Tumblr
Azure DevOps sprint 270リリースノートの翻訳をおこないました。オリジナルはこちらからご覧ください。
learn.microsoft.com
グローバル（複数orgをまたぐ）PATがいよいよ引退します。便利なので使いたくなる気持ちはわかりますが、いろいろまずいのでOAuth, org単位に変えましょう。2026/12/1で完全に消えるそうです。
pull requestの既定がauto-completeになるそうです。地味に不便だったのでありがたいです。
GitHub Advanced Securityでsecret push保護を回避した場合、audit logに出るようになったそうです。Sentinelとかで監査もできますね。audit logにさらに情報が追加されるそうです。
Kanbanボードにタイトルのみを表示するモードを追加したそうです。これは多くのカードがあるところでは便利。
今までpull requestをマージするときは必ず"Merged PR xxxx"というprefixがついていましたが、これを設定で外せるようになるそうです。まぁどっちでもいいかなーという気はしますが、多くのPRがあって、画面が限られている場合10バイト以上取られるのは確かにいやかもしれないですね。既定値は今のままなので、変更したい人は変えてください。
今まで探索セッションはそれぞれのテストプラン内からしか入れませんでしたが、トップメニューにも入るそうです。これはやりやすくなりますね。
developer.microsoft.com
今までもAzu
Consumer Health Privacy
Consumer Health Privacy
Consumer Health Privacy
Consumer Health Privacy
Consumer Health Privacy
Consumer Health Privacy
Consumer Health Privacy
Consumer Health Privacy
Consumer Health Privacy
Consumer Health Privacy
Consumer Health Privacy
Learn more
Sarah Alamdari
Senior Applied Scientist
Consumer Health Privacy
Consumer Health Privacy
Consumer Health Privacy
Consumer Health Privacy
Consumer Health Privacy
Consumer Health Privacy
Consumer Health Privacy
2026-03-06
_ AI に向いてる言語
https://zenn.dev/mametter/articles/3e8580ec034201
おもしろい。でも
題材の規模が小さすぎる
が全てかなぁ。規模が大きくなった時に静的型が有効になるか？は、わからないけど、小規模だと「どの言語だろうとむっちゃ速いし正確」だと思うので、10万行から100万行のコードベースを継続的にメンテする時に向いた言語は？みたいな感じなのかなぁと
直感的には Rust 最強、が自分の予想かなぁ。あまりあたるとも思っていない予想だけど
(11:06)
[ツッコミを入れる]
2026-03-04
_ shock! shock!
最強クラスの権威があって、この年齢で考えをあらためて「生成AIやるじゃん、見直した」ができる、すごいなぁ
https://cs.stanford.edu/~knuth/papers/claude-cycles.pdf
(16:37)
[ツッコミを入れる]
02 | 2026 / 03 | 04
2025年5月12日月曜日
曜日の計算
我が家の書斎にのJohn Conwayへのインタビュー(Scientific American,
1999年4月号)の古いコピーがあった. それによると, Conwayは日付から曜
日を算出するのが得意であったらしい. もちろんそれには練習もした. 計
算機にログインした時, ランダムに日付を提示するようにし, その曜日を
暗算して練習したという. 2秒以内で正解が得られるようになったと書い
てあったから驚きである.
立教大学の島内先生も曜日の計算は素早く, その話はいつぞやのこのブロ
グにすでに記述した通りである.
私も曜日の高速計算を隠し芸にしたいが, どうすればいいか. いつもはブ
ログにも何度か書いた例の 2,5,5,...の表を使う. 当日と同じ年内のことだ
と, Doomsday方式も便利で, 今年(2025年)は「金曜」を覚えておくだけで
よい. Conwayの曜日計算はDoomsdayの方式に違いない. その辺のことは,
Winning Waysの第4巻にある.
問題はその年の定数, 若しくはDoomsdayを得ることにある. 私のは島内さ
んと同様で, 西暦年数の上2桁をc, 下2桁をbとした時, (b+b//4)にcが19
なら2を引き, 20なら4を足して7の法をとっていた. 例えば2025年なら,
c=20, b=25だから(25+floor(25/4)+4)%7=(25+6+4)%7=0. しかしこれはb
が大きいと, 大数を扱うことになり面倒だ.
Winning WaysにあるConwayの方法は意外である. bを12で切り捨て除算し,
(b=25ならb//12=2)その商(この例なら2)に剰余(同1)を足し, さらにその
剰余を4で切り捨て除算した商(同0)を足すものである((2+1+0)%7=3 それ
Azure とメイドさんが大好きなプログラマー
February 08, 2026 Comment on this post [8] Posted in Musings
Comment on this post [8]
2026-01-29
証明書圧縮
Haskell TLS
TLS レコード・サイズ制限拡張では、証明書圧縮について書くことはないと言ったが、書くべきことが出てきたので記録しておく。この前、Haskell tls ライブラリと一緒に配布しているテストプログラム tls-client が graph.facebook.com と通信できないという報告を受けた。
デバッグ・メッセージを見ると、圧縮された証明書の直後で、CertificateVerify の検証に失敗している。CertificateVerify とは、この直前にサーバが送ってくる証明書が本当にそのサーバのものだという証拠である。簡単に言えば、サーバが「あるデータ」に施した署名だ。証明書に入っている公開鍵で検証すれば、本当にそのサーバが対応する秘密鍵を持っているかが分かる。
「あるデータ」とは、ClientHelloから証明書までのクライアントとサーバが交換したハンドシェイク・メッセージに対する暗号学的ハッシュの値である。TLS 1.3では、これをトランスクリプト・ハッシュと呼ぶ。
トランスクリプト・ハッシュは、基本的には連結したハンドシェイク・メッセージに対する暗号学的ハッシュの値だが、HelloRetryRequestに対してはハッシュのハッシュを取らなければならず、扱いが煩わしい。そのため Haskell tls ライブラリにはトランスクリプト・ハッシュをトレースする機能を実装している。tls-clientでは--trace-keyオプションを指定すると、トランスクリプト・ハッシュの経過が可視化される。ただし、トレース機能はサーバ側と対で使わないと、あまり有益でないかもしれない。
試しに証明書圧縮の機能を無効にしてみると、graph.facebook.comとちゃんと通信できた。次に、Wiresharkでパケッ
1 2 3
4 5 6 7 8 9 10
11 12 13 14 15 16 17
18 19 20 21 22 23 24
25 26 27 28 29 30 31
<< January 2026 >>
(C) 2026 ブログ JUGEM Some Rights Reserved.
2025-12-31
2025 年の振り返り
例年は年が明けてから振り返っていましたが今年の振り返りは今年のうちに！ AI に書いてもらおうかとも思いましたが、思い出しながら書くという形なので自分で書く形で振り返っていこうと思います。使い分け大事。 技術記事・勉強会 技術記事 最近は zenn に…
2025 年の振り返り
2025 / 12
2025年12月30日
■ 日本のAI規制体系における構造的混乱：AI事業者ガイドラインに起因する問題の連鎖
このところの日記の記載を基礎として、改めて、「AI事業者ガイドライン」と「AIセーフティに関する評価観点ガイド」をClaude Opus 4.5を用いてほぼ自動的に評価させた。繰り返しになるが、これは論文で指摘したかったことだが半年後くらいになりそうなので、早めに多くの人に認識を共有してもらうべくここに記すものである。結論は最後のターンまでスキップ。
私：日本のAI政策の問題を指摘するブログを2回書きました。この指摘に沿って「AI事業者ガイドライン」の問題点を分析してもらおうと思いますが、その前にまずこの2回分の指摘の内容を把握してください。
https://takagi-hiromitsu.jp/diary/20251216.html
https://takagi-hiromitsu.jp/diary/20251221.html
Claude：[考え中...]
2つのブログ記事を取得して内容を把握します。
[考え中...]
2つのブログ記事を取得しました。内容を整理してお伝えします。
（略）
AI事業者ガイドラインの分析に進みましょうか？
私：AI事業者ガイドラインはここにありますが、まず、「AI事業者ガイドライン（第1.1版）本編」を評価しましょう。対象PDFファイルをアップロードした方がいいですか？
https://www.meti.go.jp/shingikai/mono_info_service/ai_shakai_jisso/20240419_report.html
Claude：[考え中...]
まずはweb_fetchでPDFを取得してみます。うまくいかなければアップロードをお願いします。
[考え中...]
最新版は第1.1版（2025年3月28日公
12/29 追記： 子供たちに遊ばせたら、何故か job simulator をきゃっきゃと遊んでいます。
まぁ、わざと会計ミスったり、ジューサーに変なものを突っ込んでみたり、ヘンテコな遊び方ですが。
friends[3]: ana,luis,sam
hikes[3]{id,name,distanceKm,elevationGain,companion,wasSunny}:
1,Blue Lake Trail,7.5,320,ana,true
2,Ridge Overlook,9.2,540,luis,false
3,Wildflower Loop,5.1,180,sam,true
yield return AIFunctionFactory.Create(GetDiagnostics, factoryOptions);
Published: Sunday, 2 February 2025, 2:52 PM
Published: Thursday, 7 December 2023, 6:30 PM
Published: Friday, 10 February 2023, 11:44 PM
Published: Thursday, 1 September 2022, 2:03 AM
Published: Thursday, 28 April 2022, 11:37 AM
Published: Friday, 8 October 2021, 1:14 PM
Published: Monday, 19 April 2021, 2:30 PM
Published: Wednesday, 7 October 2020, 2:43 AM
Published: Thursday, 16 July 2020, 11:20 PM
Published: Tuesday, 21 April 2020, 3:42 PM
Published: Wednesday, 8 April 2020, 12:13 AM
Published: Monday, 2 December 2019, 5:48 PM
Published: Friday, 8 February 2019, 12:22 PM
Published: Monday, 12 November 2018, 1:58 PM
Published: Monday, 8 October 2018, 1:22 PM
Published: Tuesday, 22 May 2018, 11:27 AM
Published: Tuesday, 12 September 2017, 6:42 PM
Published: Wednesday, 14 June 2017, 2:27 PM
gooメール / gooID（goo決済） / goo住宅・不動産 / GOLF me!
Attention: We have retired the ASP.NET Community Blogs. Learn more >