創造させるコード：ダニエル・テムキンにucnvが聞く、奇妙な難解プログラミング言語の世界意図的に読解が困難になるよう設計されたプログラミング言語「難解プログラミング言語」をご存じだろうか？ ハッカーたちの遊び心から生まれ、基本的には実用性を度外視したジョーク言語として、これまでにさまざまなものが生み出されてきた。この奇妙で一風変わった言語が秘める創造性とは何なのか。コードとアートの境界をめぐるふたりのアーティストの対話をお届けする。 本文中に登場するダニエル・テムキン作のプログラミング言語「folders」：フォルダのなかにフォルダを重ねていくことでプログラムを構成する　via danieltemkin.com 1960年にフランスで発足した実験文学集団「ウリポ」は、言語遊戯的な技法の開発を通じて新しい文学の可能性を追求した。中心的存在であった作家ジョルジュ・ペレックは、フランス語アルファ

APIドキュメント、何で表示していますか？ 「とりあえずSwagger UIでいいか」 「Gin使ってるし、gin-swaggerでサクッと出すか」 そんな感じで、なんとなくSwagger UIを選んでいませんか？もちろんSwagger UIは素晴らしいツールですし、機能的には申し分ないんですが、UIが少し古めかしく感じたり、StripeやTwilioのような3ペインのモダンなレイアウトに憧れたりすることはありませんか？ 今回は、そんなあなたにぴったりな Stoplight Elements をご紹介します。日本語の情報がまだ少ないので、公式サイトからの引用を交えつつ、実際のUbuntu環境でのベンチマーク（重さや処理速度の比較）や、GinのSwagger UIとの比較まで、たっぷりとお届けします！ Stoplight Elementsとは？ Stoplight Elementsは、Ope

はじめに Web APIを開発・利用していると、「エラーレスポンスの形式がバラバラで扱いづらい」 と感じたことはありませんか？ あるAPIは {"error": "message"} で返し、別のAPIは {"code": 100, "msg": "..."} で返す……。これではクライアント側のハンドリングが複雑になる一方です。 そんな課題を解決するために定義されたのが、RFC 9457 "Problem Details for HTTP APIs" です。 この記事では、2023年7月にRFC 7807を置き換える形で標準化されたRFC 9457について、その仕組みと実装のポイントを解説します。 RFC 9457 とは？ RFC 9457 は、HTTP APIがエラーレスポンスを返す際に、「機械が読み取り可能な（machine-readable）」詳細情報を含めるための標準フォーマット

Decision Quality (DQ) は SDG が体系化した意思決定の質の枠組みで、良い意思決定の条件を6つに分解する。 Frame（解くべき問題の枠組み） Alternatives（選択肢） Information（情報） Values（評価基準） Sound Reasoning（論理的推論） Commitment to Action（実行へのコミット） 全体の質は一番弱い要素で決まる、というのがDQの中心的な主張である。意思決定そのものと、その結果は区別する。良い意思決定でも結果が悪いことはあるし、その逆もある。 設計判断の現場で繰り返し観測される失敗の多くは、6要素のうち Frame と Values の2つの取り違えで説明できる。Valuesを 評価軸 として8つに整理し、Frame の取り違えは 支配軸の取り違え として捉える。残りの4要素も副次的に絡む。早合点 は In

株式会社PANDORA 株式会社PANDORA（本社：東京都渋谷区、代表取締役：宮瀬卓也／和泉義博、以下PANDORA）は、バーチャル（VTuber）とリアル（生身の身体）の垣根を越えて活動する次世代型タレントの総称「XTuber®︎」（登録第7013107号）およびその日本語読みである「クロスチューバー®︎」（登録第7013108号）を商標登録いたしました。（区分：第9類、第35類、第41類、第42類、第43類） 「XTuber®︎」とは XTuber®︎とは、バーチャル（VTuber）とリアル（生身の身体）の垣根を越え、「唯一無二のオリジナル」として活動する次世代型タレントの総称です。 VTuberは見た目や年齢に縛られることなく、技術の進化とともに表現の幅を広げてきました。一方で、従来のVTuberカルチャーには「中の人を見せない」という暗黙の前提が存在していました。 PANDORA

#jawsug #jawsdays2026 #jawsdays2026_d

AIが発見し、人間が検証・証明する。数学研究における人間とAIの協働モデルが、世界最高峰の研究者によって初めて公式に記録された。 見えた限界 公平を期すために、今回の事例で見えた限界も整理しておく。 Claudeにできたこと 複数のアプローチを体系的に試行する 失敗から方針を切り替える 分野横断的な発想で問題を再定式化する 未知の構成法を発見する Claudeにできなかったこと 発見した解が「なぜ正しいか」を数学的に証明する 偶数ケースを解く（長時間セッションで性能が劣化） 人間の誘導なしに、自発的にこの問題に取り組む つまり「AIが単独で数学を解く時代が来た」のではない。「人間が正しく使えば、AIは数学的発見のパートナーになり得る」 ことが示された。 Knuthの言葉 最後に、論文の中でKnuthが残した2つの言葉を引用する。 冒頭。 "Shock! Shock!" そして、発見の喜びに

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

そのコードのその行をどのようにAIが生成し、なぜ変更されたのか。コードのコンテキスト履歴を記録する標準「Agent Trace」。Cursor、Cognition、Google Julesらが提唱 あるコードのある行がいつ、誰によって、どのような理由で書かれ、あるいは変更されてきたのかの履歴は、コードのコメントに記述する方法や、GitHubなどのソースコード管理ツールによってコードの更新時などに記録する方法があります。 しかしAIを用いたコーディングエージェントが混在して使われ、高速かつ大量にコードが生成、変更される状況でこうした履歴を記録しようとするとき、これまでとは異なる履歴が求められるようになってきました。 それは、コードエージェントがより迅速かつ正確に多くのコードを理解するうえで、コミットログなどよりも細かい粒度でコンテキストの履歴を読み取ることができること。 そしてその詳細なコン

カーネル開発に刺激は求めない ―Linus TorvaldsがOpen Source Summit Japan 2025で語ったLinux開発のこだわり 12月9日、Linux Foundation主催の「Open Source Summit Japan」の会場となった東京・虎ノ門ヒルズのフロアは早朝から多くの人々であふれていました。参加者のお目当ては2年ぶり[1]の来日となった“⁠Linux ＆ Gitクリエーター⁠”ことLinus Torvalds氏と聞き手役のDirk Hohndel氏（Verison所属、以下Dirk）によるトークセッションです。 2年ぶりの日本でのトーク、Linus Torvalds氏（左）とDirk Hohndel氏 めったにインタビューやキーノートに登壇することがないLinusのリアルな声を聞くことができる貴重な機会である本セッションは今回で29回目、東京は他

2021年にGitHub Copilotが登場した当時、そのモデルの学習データにGitHub上のあらゆる公開されたオープンソースのソースコードが含まれていることが大きな注目を集め、ライセンスに関する議論が活発にされた。ほとんどのライセンスで規定される帰属表示などの条件の問題もあるが、特にGNU GPL(GNU General Public License)のようなコピーレフトライセンスの条件がモデルにも伝播し、モデル全体を同じライセンスで公開する必要があるという言説が多く飛び交った。GPLの伝播性自体は現代の多くのソフトウェアエンジニアが自然に受け入れているものであり、エンジニアの素朴な感覚としては何らかの形でGPLコードが含まれるのであれば当然コピーレフトが適用され、ライセンスが伝播すると考えるのはごく自然な成り行きである。 しかし、この2025年現在において、オープンソースのコードを学

This is open-source software written by hobbyists, maintained by a single volunteer, badly tested, written in a memory-unsafe language and full of security bugs. It is foolish to use this software to process untrusted data. As such, we treat security issues like any other bug. Each security report we receive will be made public immediately and won't be prioritized. これは趣味人たちによって開発され、たった一人のボランティアによっ

PR TIMESのCDNをCloudFrontからFastlyに移行しました こんにちは、インフラチームテックリードの櫻井です。 今回はプレスリリース配信サービスの prtimes.jp で使用しているCDNをCloudFrontからFastlyに移行したことについ... なお該当のAPI以外へのリクエストは正常に処理できていたため、PR TIMESへのリクエストが一律でブロックされている状況ではなかったと考えられます。 根本原因の仮説と検証 ここまでの調査でわかったことは以下です。 該当のお客様から行われたメディアリスト保存APIへのAJAXリクエストは、501エラーとしてNew Relicに記録されている。 該当のお客様から行われたメディアリスト保存APIへのAJAXリクエストは、PR TIMESシステムに到達していない。 該当のお客様から行われた他のAPIへのリクエストは、正常にレス

PHPカンファレンス福岡2025 2025/11/08 11:40〜 ホライズンテクノロジーホール レギュラートーク(30分) https://fortee.jp/phpcon-fukuoka-2025/proposal/cf0925df-c846-4774-b203-a111e57f1…

先日 Nani というAI翻訳アプリをリリースしました。macOS / Windowsアプリを使うとショートカットで解説つきの翻訳を簡単に呼び出すことができます。 この記事ではNaniの技術的な話をまとめておきます。「レスポンスが速い」という声も多くいただいているので、そのあたりの工夫についても触れたいと思います。 ざっくりとした構成 主な使用技術やサービスは以下のようになっています。 Turso: SQLiteでユーザーの設定などを保存 Upstash (Redis): キャッシュ、レートリミット Drizzle: SQLiteのORMとして利用 Stripe: 決済管理 Next.js（App Router）: Webアプリ。Vercelにデプロイ Hono: APIを快適に書くため。Next.jsのRoute Handler上で使用 Electron: デスクトップアプリ TypeS