Lean 4.35詳解——vcgen、kernelによる再検査、機械整数を扱うgrind

Lean 4.35のvcgen、lake check、grindのhomomorphism、Boolに基づくDecidable、libraryとcompilerの変更を、成功例と失敗例で解説します。

Swift 6.4詳解——非同期のdefer、cancellation shield、noncopyableなcollection

Swift 6.4のcleanupとcancellation、UniqueArrayとIterable、borrow accessor、SwiftPMとdebug情報の変更をコード例から解説します。

OCaml 5.5詳解——module依存のfunction、polymorphicな引数、GCと配布の変更

OCaml 5.5のmodule-dependent functionとpolymorphic parameterを実行し、文字列API、external type、GC、5.5.2までの修正を詳しく解説します。

HaskellをGHC 9.14で動かす——specialisation、stage、recordの変更

GHC 9.14.1の式に対するSPECIALISE、明示的なstage別import、visible forall、record更新と診断を実行例から解説します。

Kotlin 2.4.20のJVM、coroutine、Wasmの変更

whenのtype switch、例外を複製するStackTraceRecoverable、新しいcollection API、Swift exportとWasmのbuild方式を解説します。

TypeScript 7.0のnative compilerと7.1 Betaの新API

native compilerの並列化と既定設定、7.1 Betaのimport attributes、source phase import、新しいcompiler APIを解説します。

Python 3.15のlazy import、frozendict、起動処理の変更

lazy importの実行順、frozendictの浅い不変性、sentinel、UTF-8の既定化と、free-threaded build向けStable ABIを解説します。

C# 15を.NET 11 RC2で動かす

unionとclosed hierarchyの網羅性、collection expressionへの引数、extension indexer、memory safetyの変更を解説します。

Java 27の9つのJEPと、既定動作の変更

compact object headers、G1、hybrid TLSの既定化と、primitive pattern、LazyConstant、structured concurrencyをコードと図で解説します。

Rust 1.99の変更をコードで追う

C variadic functionの定義、所有権を移すNonNull API、raw pointerからのlayout取得と、1.99.1のABI修正を解説します。

Go 1.27の変更と設計背景

generic methodがinterfaceを実装しない理由、JSON v2のAPIと既定動作、GCによるリーク検出を、図とコードで説明します。

日本各地旅行索引：按都道府县查找游记

这份索引按地区和都道府县整理旅行记录。 从城市散步、温泉到季节风景，可以从下面的地区进入具体的游记。 北海道 北海道的旅行记录既有函馆、小樽等城市，也有神威岬、富良野和温泉之乡。 从城市散步到自然风景，可以按兴趣继续阅读下面的游记。 * 网走一日游：博物馆、流冰与原生花园 * 神威岬与余市的自驾之旅 * 薰衣草花季相约富良野 * 初冬函馆的经典游览地 * 登别温泉：地狱谷、林间步道与泡汤之旅 * 2024年小樽游记：银行街、玻璃店与运河散步 东北地方 青森县 * 青森县立美术馆与三内丸山遗址 * 漫步青森港与睡魔之家Wa Rasse * 青森浅虫温泉与扇贝广场 * 八甲田山旅游指南 * 秋天的弘前城 * 弘前樱花节游记 * 十和田湖周边观光 * 青森中野红叶山的秋日风景 * 春日奥入濑溪流：住一晚，沿水走进新绿 * 大间海鲜之旅 岩手县 * 平泉中尊寺：走访世界文化遗产 * 花卷温泉与宫泽贤治的童话之乡 * 平泉的世界文化遗产 宫城县 * 松岛一日游：朱桥、古寺与海湾游船 * 仙台与伊达政宗 * 2024年仙台七