主権なき国家論は可能か | 法政大学出版局
シュケンナキコッカロンハカノカ フーゴープロイスノシソウトコウドウ 978-4-588-62555-8 9784588625558 4-588-62555-1 4588625551 3031 主権なき国家論は可能か フーゴー・プロイスの思想と行動 遠藤泰弘 エンドウヤスヒロ 遠藤 泰弘（エンドウ ヤスヒロ） 1976年、兵庫県神戸市に生まれる。北海道大学大学院法学研究科法学政治学専攻博士後期課程単位取得退学。博士（法学）。現在、松山大学法学部教授。専門はドイツ政治思想史・政治学。著書に『オットー・フォン・ギールケの政治思想──第二帝政期ドイツ政治思想史研究序説（21世紀国際史・学術叢書2）』（国際書院、2007年）、共著に『ドイツ連邦主義の崩壊と再建──ヴァイマル共和国から戦後ドイツへ』（権左武志編、岩波書店、2015年）、『よくわかる政治思想（やわらかアカデミズム・〈わかる〉シリーズ）』
ITエンジニアのための開発戦略：『良い仕様書』を最大限に活用し、生産性を劇的に向上させる方法｜ITエンジニアの戦略ノート
導入：仕様書はエンジニアの羅針盤であるこの記事は、**Fritz氏（Lead Product Manager @ Mercari）**による優れた記事「いまこそ「良い仕様書」がチームの生産性の鍵となる。ので、仕様書に含めたい 14 のポイントについてまとめました。」から得られた知見を、私たちITエンジニアの視点で再構成し、日々の開発業務に活かすための戦略をまとめたものです。 ITエンジニアの仕事は、コーディングだけに留まりません。私たちは日々、無駄なコミュニケーション、予期せぬ手戻り、そしてチーム内での仕様の認識齟齬といった数々の課題に直面しています。これらの生産性を蝕む問題を解決する鍵こそが、実は「良い仕様書」の戦略的な活用にあります。 本記事では、仕様書を単なる指示書として受け取るのではなく、プロジェクトを成功に導くための羅針盤として能動的に使いこなし、自らの手で開発プロセスを改善して
ChatGPT、人間が50年解けなかった20世紀の数学の難問を解決
2026年1月、OpenAIの最新大規模言語モデル「GPT-5.2 Pro」とHarmonic社の形式証明支援AI「Aristotle」が協働し、長年未解決であった数学の難問「エルデシュ問題 #728」を解決した。エルデシュ問題とは、20世紀を代表する数学者ポール・エルデシュが提起した膨大な未解決問題の総称であり、今回の成果はAIが既存の文献にないまったく新しい証明を主体的に生成し、実質的な解決に至った初の事例として注目されている。 解決された「エルデシュ問題 #728」は、1975年に提起された階乗の整除性に関する数論の難問である。GPT-5.2 Proは問題の意図を整理して自ら補題を立て、行き詰まった際には自律的に状況を報告しながら証明案を作成した。最終的な証明は、Aristotleが形式検証言語「Lean」を用いて検証を行い、完成に至った。
MicrosoftがWindows 11のAI戦略を大幅見直しへ。Copilot機能の縮小や削除も検討 - ギャズログ | GAZ:Log
MicrosoftはAIの中心的存在として同社が開発するCopilotをWindows 11などに統合しているほか、さまざまな個別アプリにもCopilotを投入しています。しかし、ユーザーからの強い反発を受けて同機能の縮小や削除を検討していることが明らかになりました。 Windows 11に無理やり組み込まれたCopilot Microsoftは2023年5月ごろ、同社のAIであるCopilotのWindows 11への統合を発表しました。同年秋に配信されたWindows 11 23H2ではCortanaに代わりCopilotがスタンドアローンアプリとして組み込まれ、2024年には高性能なNPUを備えるPCを対象にAI機能をより深く統合したCopilot+も正式に発表されています。 ただ、このCopilotの評価は決して良いものではありません。スタンドアローンアプリでは当初、PCの設定やト
VSCodeの時代は終わった？次世代エディタ Zed Editor 完全ガイド
体感でも明らかに違います。VSCodeで「重い」と感じていたプロジェクトを開いても、Zedではサクサク動きます。ノートPCのバッテリー持ちにも大きく影響するポイントです。 Zed Editorのメリット 1. 圧倒的なパフォーマンス Rustで書かれたネイティブアプリケーションなので、Electronの重さとは無縁です。大規模なコードベースを開いても、検索やファイル切り替えが瞬時に完了します。 2. ネイティブAI統合 VSCodeではGitHub CopilotやCursorなどの拡張に頼る必要がありますが、ZedにはAI機能がビルトインで搭載されています。 Agent Panel: AIがファイル編集・ターミナル操作・リンター実行まで自律的に行うエージェント機能 Edit Predictions (Zeta): オープンソースの予測モデルによるコード補完 Inline Assistan
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
要件定義の教科書