|
|
|
|
|
||
|
||
すべて | グループ指定なし | C#&.NET海外 | C#&.NET日本
Forza Motorsportまとめ
私家版 Git For Windowsのインストール手順
Forza Horizon 6まとめ #ForzaHorizon6
Forza Horizon雑記 ブリティッシュ・オートモーティブ スプリング 2026/10/02 #ForzaHorizon6
4,766,661 アクセス
Forza Motorsportまとめ
4,766,661 アクセス
Consumer Health Privacy Powered by .NET 11.0.0-rc.1.26425.128 Contact Microsoft Support Privacy & Cookies Manage cookies Terms of Use Trademarks
Post likes count 2
Post comments count 2
26 weeks 2 days ago
26 weeks 2 days ago
26 weeks 2 days ago
26 weeks 3 days ago
26 weeks 6 days ago
26 weeks 6 days ago
27 weeks 1 day ago
27 weeks 1 day ago
27 weeks 1 day ago
27 weeks 1 day ago
WordPress.com で無料サイトやブログを作成.
2026-10-10
用語辞書とそのグラフ表現： 曖昧性の扱い方
雑記／備忘
しばらくブログ記事を書いてませんでした。圏論的確率論やマルコフ圏について書こうかと思っていたのですが、使う用語法で悩んでしまいました。そう言えば、確率・統計の用語法の曖昧性にはさんざん悩んでいました（以下の過去記事参照）。 超曖昧語「母集団…
用語辞書とそのグラフ表現： 曖昧性の扱い方
2026 / 10
Surface Laptop Ultra Surface Pro Surface Laptop Surface RTX Spark Dev Box Explore Copilot Explore Microsoft products Windows 11 apps Account profile Download Center Microsoft Store support Returns Order tracking Certified Refurbished Why buy from Microsoft Store Flexible Payments Microsoft in education Devices for education Microsoft Teams for Education Microsoft 365 Education How to buy for your school Educator training and development Deals for students and parents AI for education
2026-10-08
Azure DevOps 2026/10/2の更新
Azure DevOpsリリース Azure Repos Azure Test Plans GitHub Advanced Security Copilot
Share on Tumblr
翻訳終わっていたけど忘れていました。Sprint 280リリースノートの更新を行いました。オリジナルはこちらからご覧ください。
learn.microsoft.com
Autofixまだ限定プレビューですが、通っているので使っています。GitHubと比べるとちょっとレビューが少ないような…同じソースではないので、同じソースを登録してレビューしてもらおうかな？Azure DevOpsのAutofixはGitHubと違ってPR作った人のAI Creditではなく、直接Azure Subscriptionに行くのでありがたいです。
依存関係アラートの優先順位はうれしいですね。特に今いろんな攻撃が発生しており、優先度付けてやりたいというのもわかります。
コードレビューのEffortを設定できるようになりました。GitHubと同じBalancedが規定です。organization単位、プロジェクト単位で設定できます。
Test Plansが複数ターゲットフレームワーク(MTF 2.0)対応したのはありがたいです。xUnitは4.0で、MSTestとかも最新版で対応しています。テストをちょっと直さないといけないところがあるのでそういうのはAIにやってもらいましょう（ました）。
ではまた三週間後。
translate to Japanese to Azure DevOps release not…
kkamegawa 2026-10-08 08:18 読者になる
Share on Tumblr
もっと読む
コメントを書く
最終
microsoft
referencesource
Repository navigation
Issues81 (81)
Pull requests3 (3)
More items
referencesource
Public
NotificationsYou must be signed in to change notification settings
Fork1.3k (1.3k)
Star3.5k (3.5k)You must be signed in to star a repository
About
Source from the Microsoft .NET Reference Source that represent a subset of the .NET Framework
referencesource.microsoft.com/
Resources
Readme
MIT license
Code of conduct
Code of conduct
Security policy
Security policy
Activity
Custom properties
Stars
3.5k stars
Watchers
268 watching
Forks
1.3k forks
Report repository
2026-10-05
_ スプラトゥーンレイダース
まあまあ楽しく遊んだ。一人用スプラトゥーン。本家よりハデなことができてたのしい。がエンドコンテンツが雑すぎるかな。今502階。そろそろ進めるのは厳しい
マキアゲ使うのが基本ぽいが、それがしたくて買ったわけじゃないよなあ、とカチワリジャンプニンジャの中二セットでずっとやっていた。ブキもツインカンカンチタンだったけど、333階あたりでつらくなって、カチワリプロパンブラスターに
まあ今水準のストイックさならツインカンカンチタンでも400-450あたりまではいったかもしれない。なんかブキ種類とかごとに最高記録が残るとかが良かったな。それだったらもうちょっと長持ちしただろうけど
ヘビやテッパンのキワモノが見えたらまず終わり。8割くらいクリアできる面が5割くらい出る、みたいな感覚かなぁ。あとは5割クリアできる面が4割くらい、1割くらいムリて感じか
(0.8*0.5+0.5*0.4)**3 = 0.216
うーんたぶんもっとクリア率低いな。一回クリアするまでに10回くらいはやりなおしてるような
(22:53)
_ なんか
まぁ自分の調子で全然かわるよね
バクダンがちょうど弱点出す時に凍らせられるか
ヘビを2回凍らせるのをワンセットでできるか
スモーカーやタワーやカタパッドを早めに処理しに行けるか
テッパンを表から撃たないか
キワモノモグラやカタパッドを効率良くさばけるか
あたりか
あとウデジマンはかなりよくわからん。出たら基本終わりだけど、なんかたまに処理できることがある
(22:58)
[ツッコミを入れる]
WordPress.com のアカウントをお持ちですか ? 今すぐログインしてください。
この広告は、90日以上更新していないブログに表示しています。
2026-10-01
AIエージェントシステム開発とトレーサビリティ
AIエージェントによるシステム開発では、トレーサビリティが以前より大切になると思っています。
これまでのシステム開発でも、どの要求に基づいて実装し、どのように検証したのかを説明するために、トレーサビリティは必要でした。ただ、人手ですべての成果物を緻密につなぎ、変更のたびに更新するのはかなり難しかったと思います。
AIエージェントを使えば、成果物間の関係も記録させ、原資料から要求、設計、テスト、実行されたコード、検証結果、承認までをIDでつなげられます。さらに、そのつながりをハーネスでチェックすれば、変更後も追跡関係を維持できます。
トレーサビリティは、人間が説明責任を果たすための重要な仕組みです。同時に、AIエージェントが生成した成果物の抜けや不整合を確認する仕組みにもなる。この二つを実現できることが、大きなメリットだと思います。
dotnetmemo 2026-10-01 08:10 読者になる
広告を非表示にする
もっと読む
コメントを書く
AIエージェントシステム開発とトレーサビリティ
2026 / 10
2026-09-30
B17 - Frog 1 with Restoration
.NET C# 競技プログラミング
atcoder.jp
動的計画法の復元で解く。
var N = int.Parse(Console.ReadLine()!); var h = Console.ReadLine()!.Split(' ', StringSplitOptions.RemoveEmptyEntries).Select(int.Parse).ToArray(); // 動的計画法を使って、支払うコストの総和の最小を求める var dp = new int[N]; for (var i = 0; i < N; i++)
{ if (i == 0)
{
dp[i] = 0;
} else if (i == 1)
{
dp[i] = Math.Abs(h[i] - h[i - 1]);
} else { // 1 つ前から移動したときのコストを計算 var cost1 = Math.Abs(h[i] - h[i - 1]); var dp1 = cost1 + dp[i - 1]; // 2 つ前から移動したときのコストを計算 var cost2 = Math.Abs(h[i] - h[i - 2]); var dp2 = cost2 + dp[i - 2]; // コストが小さい方を採用 dp[i] = Math.Min(dp1, dp2);
}
} // 支払うコストの総和の最小から逆算して、移動方法を求める var paths = new List<int>(); for (var i = N - 1; i >= 0; i--)
{ if (i == 0)
{
paths.Add(1);
/ Code Mode / Link: Rails World 2026 Opening Keynote - DHH / 姿勢に良いラップトップの不在 / Claude 節 / 脊柱管狭窄者の歩行 / Agentic-coding diary: August / Agentic-coding diary: July / Depending on Machines / 社会性筋力の喪失 / 脊髄反射記 #12 / Book: 半導体尖端覇権の興亡 / Sovereign Agentic Coding / Obsidian 社の分報 / Supernatural と勝間和代 / Agentic-coding diary: Work like a pilled / PI 日記 #04 / ...
Code Mode
Sep 30, 2026
“You Said No MCP!” | Earendil
Pi が MCP サポートをするという文脈で coding agent の “code mode” なるものが言及されていた。いくつかの agentic tool にサポートされているパターンらしい。従来の MCP はツールの定義や記述がコンテクストを浪費するので嫌われ、スキルと CLI が人気を博するようになった。Pi もそうした風潮にあわせ MCP をサポートしていなかった。しかしこの “code mode” の普及にともない、方針を改め MCP をサポートすることにしたそうな。
Code mode とは: まず MCP をはじめとする各種ツール類を TypeScript の関数として定義(宣言)する。次にそのツール関数群が公開された JavaScript の実行環境を agent から使えるようにする。Coding agent はツール単位で直接 tool call をする(こ
09 | 2026 / 10 | 11
2026-09-25
Releasing crypton v2.0.0
Haskell
crypton is a cryptographic library widely used in the Haskell community. However, the library had several issues:
It did not utilize hardware acceleration at all on ARM.
Although it utilized hardware acceleration on x86, it was slower than standard OpenSSL.
There were concerns regarding its security.
To address these issues, I had been vaguely considering the following approaches:
Building an API similar to crypton on top of botan-binding
Discarding crypton's cbits and replacing them with something like OpenSSL
While I consider myself more knowledgeable about cryptography than the average person (in Japan, I am known as the supervising translator of the O'Reilly book on PGP), I am not a cryptography expert, so I cannot write code that is both cor
2026-09-27
OpenClaw 2.0 を入れてみた際の感想と細かいtips
前から常駐エージェントを動かしてみたいな。と思っていて、最近 OpenClaw 2.0 が出てきたと言われたので試しに入れてみました。
OpenClaw 2.0, Accidentally - OpenClaw Blog
https://openclaw.ai/blog/openclaw-2-accidentally
入れる前に、hermes agent とか claude code とか、常駐タイプにできそうな奴の機能を比較していたんですが、最近 iPhone や Android 向けにアプリが出ていて、アプリから声や画像を送って指示できるようになったとの事で、カッコイイなと思ったんですね。
なので、OpenClaw 2.0 にした次第です。
今回の OpenClaw 2.0 が従来と何が違うか？という点については、以下がまとまっているかな。と思います。
X : OpenClaw 2.0は何が変わった？「個人用AI」からチームで育てるAIワークスペースへ
https://x.com/pop_ikeda/article/2095320937797460463
OpenClaw 2.0 の概要｜npaka
https://note.com/npaka/n/nf42d9bac48c0
インストールしてみた
macbook にインストールしてみたんですが、個人的に感心したのは、以下かな。
Desktop app 版を入れてインストールで、大体セットアップできるよう頑張っている。
前に、別の端末で picoclaw とか nanoなんとか を入れてみた際は、設定は 設定ファイル弄ってねとか、コマンド叩いてね。とか、主要な設定はUI用意しているけど、細かいのはやっぱコマンドかファイル弄ってね。だった
© Copyright 2026, Scott Hanselman. Design by @jzy, Powered by .NET 8.0.31 and deployed from commit 8c657d via build 8.0.659
2026-09-23
Azure Container Apps Express が Japan East / Japan West と VNET Integration に対応したので試した
Azure Azure Container Apps
Build 2026 のタイミングで Public Preview になった Azure Container Apps Express ですが、これまで利用可能なリージョンが 2 つしかなかったのと、対応している機能がかなり少なかったので検証ぐらいしかしてませんでしたが、最近のドキュメント更新で Ja…
最終更新: 2026-09-23 10:06
Completing Programming Adventures with Jev
This blog has not exactly been chasing the latest trends, but I'm going to make an exception,
because of two events that have aligned just in the right way. I will be going to
SPLASH to present a paper The Choose-Your-Own-Adventure Calculus based on an earlier blog post (and also an OOPSLA paper about Timeline, our spreadsheet with time).
The calculus formalizes a mode of interaction between a user and a programming system where
the programming system repeatedly offers a range of choices to the user and the user constructs
a program by choosing one. The model is inspired by F# type providers,
but it works for many other use cases, such as interactive theorem proving, structure editing or
data wrangling.
One experiment we did in the paper was to se
2026年8月24日月曜日
クィックソート
今年の3月5日に, オックスフォード大学の教授だったTony Hoareが死去し
た. TonyとはIFIPの会議で何回か会ったが, 最後の方は, 1997年の春, 私
がオックスフォードへ行った時に大学で会い, 2000年の秋, Tonyが京都賞
で来日した時, 東京で会った.
私は昨年の秋頃の情報処理学会の雑誌に, 計算機科学はもう終ったという
話を書いて物議を醸したが, その余韻も収まらぬうちに, 計算機科学者の
大物のTony死去の通知を受け取った.
Tony Hoareといえば, クィックソートを提案したことで知られる. クィッ
クソートは計算機科学の主要な話題の1つであったが, もう大学の講義で
語られることはないかも知れない. 今回のブログは,クィックソートをお
さらいしよう.
クィックソートを一言でいえば, ある数列をいきなりソートするのではな
く, 数列をその中央値(アルゴリズムではその値をピボットという)より小
さいものの列と大きいものの列に2分割し, それぞれをソートしてからそ
の結果を連結するものである. 厳密な中央値は, ソートしてみないと分ら
ないから, この説明は矛盾しているが, 実際には適当な要素を中央値であ
ることを祈って使う.
長さがnの数列をソートする手間がnの二乗だとすると, 2分割した数列の
ソートの手間は, 片側で4分のn二乗になり, 両方では2分のn二乗になって
効率的になるというのが趣旨である.
ソートすべき数列がピボットで大小に分割され, そのそれぞれをソートす
ることで進行する様子を示したのが次の図である. 一番上は最初のソート
される数列で, 左端の6をピボットにして分割したのが2段目である. ピボッ
トより小さいものが左に集まり, 大きいのが右に集る. このそれぞれはも
うピ
追記
8/23追記。簡単にだが、実験を行った。
関数hoge(int)に対するデファクタリングをAIによって行いhoge2(int)を作成し、同じAIによって解析させる、hoge2(int)を更にデファクタリングをさせhoge2(int)を解析される、hoge3、hoge4……として6段階まで試みた。
感触としては、かなり長大で複雑な人間には解読困難なコードが生成されたものの、AIによっては解析が行えた。これが示唆するのは、並の人間の営みによるスパゲティに対しては現代のAIは十分な解析能力をもっており、コードそのものの解釈という点ではリファクタリング不可能点は遠そうに見える。
つまり、過去のレガシーコードが偶発的にリファクタリング不可能点を超えているのではないか？という可能性を危惧していたわけだが、ロジックの複雑さ起因のリファクタリング不可能点はそう簡単には超えなさそう。
現実のシステム開発においてリファクタリング不可能点が登場するのは、コードの複雑さよりも、コードと業務の対応付けの部分の情報欠損によるところが大きいのではないか。
AIは複雑なロジックであれ、ソースコードという確定的な事象にはかなり強い。しかし業務の想定のような部分になると不確実さは確実に残り、推定は大きく外すように思える。
となると、ロジック事態を綺麗にすることよりも、JavaDocに契約プログラミングの契約を明示することに力を割く方が労力を投資する方が有益なのではないかと思える。
悪意溢れる難読化コード
public String hoge_6(int i) {
int a0 = i ^ (i << 3) ^ (i >>> 2);
int a1 = a0 ^ a0;
int a2 = (a1 | -a1) >>> 31;
int[] a3 = {
6 - 3,
10 / 2,
2 << 1,
21 /
【Next Tokyo】アーカイブ セッション公開！
2026年8月20日木曜日
すでに公開していた基調講演（ DAY 1 | DAY 2 ）に加え、ブレイクアウト セッション、スポンサー セッションを Google Cloud Next Tokyo 公式サイトにて公開しました。 現地 / ライブ配信での視聴が出来なかったという方も、ぜひアーカイブ配信にてご覧ください。 また、特に来場者からの評価が高かったセッションを一部紹介します。セッションの復習や新たな学びのきっかけに、ぜひご活用ください。
【AI と機械学習】
ニュースからドラマまで: TBS が Gemini と作る、表現の限界を超えた AI 音声制作の裏側
TBSテレビ 大西 陽一 氏
【AI と機械学習】
利用率 80％越え！年間 2 万時間削減を実現した ハナマルキ 流 Gemini 定着の秘訣
ハナマルキ 森 香織 氏、電算システム 秋葉 恵美 氏
【データ分析】
Google Maps Platform と BigQuery が拓く地理空間データ分析最前線
Google Cloud 勝谷 北斗 【アプリケーション開発】
Cloud Run GPU で実現するゼロスケール AI 推論
Google Cloud 頼兼 孝幸
【インフラストラクチャ】
End-to-End 自動運転開発を加速するデータ - セントリックな GPU 計算基盤
Turing 山口 祐 氏
【入門セッション】
迷わないための Google Cloud セキュリティサービス活用ガイド
G-gen 武井 祐介 氏、堂原 竜希 氏
☁︎ 2027 年に、またお会いしましょう。
2027 年の Next Tokyo のスポンサー プログラムに関するお問い合わせはこちらで承っております。
その他のお問い合わせは以下にお願いいたします。
アーカイ
2026年08月11日
■ 不適正利用の禁止（現19条）は散在情報にも適用されるのか？開示資料から窺われる結論
前回「これの続きは次回に」としていた「続き」が今回である。そこでは重大な発掘があった。8月8日の日記で「最も重要な発言がここに出ている」とした、法制局参事官の発言「第15条等において、個人データではない個人情報（散在情報）を取り扱う者ではなく、個人情報取扱事業者に対して規制を課すこととしている」に呼応する個情委側の「反論書」（以下のここに掲載）が存在していたことが判明したのである。
前回の日記では、2年前の日記でやった分析「「不適正利用禁止」規定は立案段階で内閣法制局にどう捻じ曲げられたか」と同じことを、Claude Coworkにポン出しで分析させた上で、結果のでき具合を私の人力と比較させる実験をやった。その続きとして、「では次に、両者を合わせてより理想的な分析レポートを新たに仕上げてください。」と指示したところ、すぐにその「重大な発掘」に至ったのであった。その際のプロンプトと応答の様子は、確認できるよう最後に付けるとして、完成形の成果物を先に掲載するのと、その前に、今回注目している論点「不適正利用の禁止は散在情報にも適用されるのか？」について若干の解説を書いておく。
まず、令和2年改正で「不適正利用の禁止」規定が16条の2（現19条）の位置に入って「個人データ」ではなく「個人情報」で規定されたことは失敗の一つだったと私は考えており、2年前の「どう捻じ曲げられたか」では、「文言だけで一人歩きし、漂流していくことになる」とだけ簡単に批判していたが、その前の月、6月12日に個情委に提出した意見書「個人情報保護法3年ごと見直し令和6年に対する意見」（1回目の意見書）で、次のように書いて2024年6月当時の個情委の迷走ぶりを批判していた。
1.4. 個人データへの統一
Reading mode Table of contents Read in English Add Add to Plans
Reading mode Table of contents Read in English Add Add to Plans
Reading mode Table of contents Read in English Add Add to Plans
Reading mode Table of contents Read in English Add Add to Plans
Reading mode Table of contents Read in English Add Add to Plans
Reading mode Table of contents Read in English Add Add to Plans
Reading mode Table of contents Read in English Add Add to Plans
Reading mode Table of contents Read in English Add Add to Plans
Reading mode Table of contents Read in English Add Add to Plans
Reading mode Table of contents Read in English Add Add to Plans
Reading mode Table of contents Read in English Add Add to Plans
Reading mode Table of contents Read in English Add Add to Plans
Reading mode Table of contents Read in English Add Add to Plans
Reading mode Table of contents Read in English Add Add to Plans
Reading mode Table of contents Read in English Add Add to Plans
Reading mode Table of contents Read in English Add Add to Plans
Reading mode Table of contents Read in English Add Add to Plans
Reading mode Table of contents Read in English Add Add to Plans
Reading mode Table of contents Read in English Add Add to Plans
Reading mode Table of contents Read in English Add Add to Plans
ref int p = ref MemoryMarshal.GetArrayDataReference(data);
nuint length = (nuint)data.Length;
nuint vc = (nuint)Vector512<int>.Count;
if (!Vector512.IsHardwareAccelerated || length < vc)
{
int s = 0;
for (nuint j = 0; j < length; j++)
{
s += Unsafe.Add(ref p, j);
}
return s;
}
var acc0 = Vector512<int>.Zero;
var acc1 = Vector512<int>.Zero;
var acc2 = Vector512<int>.Zero;
var acc3 = Vector512<int>.Zero;
nuint i = 0;
if (length >= vc * 4)
{
nuint lastBlock = length - vc * 4;
for (; i <= lastBlock; i += vc * 4)
{
acc0 += Vector512.LoadUnsafe(ref p, i);
acc1 += Vector512.LoadUnsafe(ref p, i + vc);
acc2 += Vector512.LoadUnsafe(ref p,
2026-07-14
Devinの好きなところを語っていく
▼ ▶
2026
2026 / 7
この広告は、90日以上更新していないブログに表示しています。
Build with answers in reach
Dive into official documentation, practical answers, and expert guidance for working and troubleshooting with Microsoft.
Build with answers in reach
Dive into official documentation, practical answers, and expert guidance for working and troubleshooting with Microsoft.