投稿

C#の進化の歴史:C#が「AI時代のVerification Layer」になれるか? #九20

  C#の進化の歴史 C#は2002年の1.0から、単なる「Java/C++系のオブジェクト指向言語」から、 LINQ → 非同期 → 高性能メモリ操作 → Roslyn/Analyzer → Source Generator → AI時代の検証可能な開発基盤 へと進化してきた、と整理できます。Microsoftの公式履歴と、2026年9月19日の河合宜文氏のC# Kaigi 2026講演を合わせると、次の流れが見やすいです。 ( Microsoft Learn ) 年 C# 主な進化 その時代の意味 1996 前史 Anders HejlsbergがMicrosoftへ。Visual J++開発 C#につながる思想の出発点 1997 前史 SunからVisual J++のJava改変について問題提起 Javaとは別の言語を作る必要性が強まる 1999 COOL **COOL(C-like Object Oriented Language)**開発開始 C#の直接的な前身 2000 C# C++++ → **C#**という名称が登場 C++/Java/Pascal/Delphiの影響を統合 2002 C# 1.0 class、struct、interface、delegate、property、event、value type .NETの主要言語として誕生 2003 C# 1.2 foreach 周辺など細かな改善 初期言語の安定化 2005 C# 2.0 Generics、Iterator、Nullable value type、匿名メソッド 型安全性と再利用性が大幅向上 2007 C# 3.0 LINQ、Lambda、Expression Tree、Extension Method、var、Object Initializer OOP+関数型+宣言型 へ転換 2010 C# 4.0 dynamic 、named/optional arguments、variance 静的型付けを維持しつつ動的世界と接続 2012 C# 5.0 async / await 非同期処理を言語レベルへ組み込む 2015 C# 6.0 Roslyn、式形式、文字列補間、null条件演算子など コンパイラ自体がサービス化・拡張可能に 2017–18 C# 7.x ref 、 Sp...

主権のトリレンマ:パスキー、プラットフォーム、AI時代の「自分である権利」 #サイバーセキュリティ #デジタル主権 #Passkey #九20 #2022五05パスキーとFIDOAlliance_令和IT史ざっくり解説

主権のトリレンマ:パスキー、プラットフォーム、AI時代の「自分である権利」 #サイバーセキュリティ #デジタル主権 #Passkeys フィッシング耐性という暗号学的福音は、いかにして資格情報幽閉とプラットフォーム統治の完成をもたらしたのか――認証の安全性・可用性・自己決定権をめぐる学際的批判 目次 要旨・本書の目的 イントロダクション――「あなたは本人ですか?」という問いを誰が決めるのか 登場人物紹介 方法論 本書の梗概・構成 本書で使用する基本モデル 第I部 技術的勝利の欺瞞――暗号学は勝った。しかし、ログインは本当に簡単になったのか 第1章 パスワードは敗北した――そして、なぜ敗北させる必要があったのか 第2章 「安全なのに、なぜログインできないのか」 第3章 「便利ですよ」という名の強制 第4章 パスキーはどこまで「フィッシング不能」なのか 第II部 認証主権のトリレンマ――暗号工学・経済学・法学から「誰が鍵を持つのか」を解剖する 第5章 三つの自由を同時には持てない 第6章 鍵は「所有」されなくなった 第7章 プラットフォームはなぜ「鍵屋」になったのか 第8章 法は「本人」を誰だと認めるのか 要旨・本書の目的 パスキーは本当に「パスワードの終焉」なのか 2022年、Apple、Google、MicrosoftのBig Tech三社がFIDO Allianceとともに「同期型パスキー(Multi-device FIDO Credentials)」の全面的なエコシステム統合を表明したとき、産業界とサイバーセキュリティ界隈は熱狂的な祝賀ムードに包まれました。半世紀にわたって計算機科学者を悩ませ続けてきた「パスワードの再利用」や「通信路上でのフィッシング詐欺」が、公開鍵暗号とドメインバインディングの数学的強制力によって根絶されると宣言されたからです。 しかし、本書が提示する分析は、この熱狂に対する根本的な反証です。パスキーはパスワードの「上位互換」ではありません。それは、 認証の単位と責任の所在を、利用者の認知領域から...