45deg 45deg

Reactive Programming Modelの研究動向（2021–2026）

概要

2021年以降のReactive Programming（RP）研究では、イベントや時間変化する値を宣言的に記述するという初期の発想を保ちながら、実行可能性をどこまで言語側で保証するかが主要な課題になっている。近年の成果は、①型による因果性・生産性・ライブネス・空間使用量の保証、②関数型言語への埋込みを前提としないグラフ意味論、③組込み機器・非同期系・分散系への適用、④観測・デバッグ・API評価、の四群に大別できる。研究の中心は単一の会議に集約されておらず、POPL、ICFP、‹Programming›、SPLASH併設のREBLSに分散している。

SPLASHについては、OOPSLA本会議と併設ワークショップを区別する必要がある。2021–2022年の直接的なRP研究は、主としてREBLS（Reactive and Event-Based Languages and Systems）で発表されている。ECOOPでは、対象期間直前の2020年にActor–Reactorモデルが本会議論文として発表され、その後の「リアクティブ部分と命令的部分の境界」を論じる研究の基準点になった。調査した範囲では、2021–2026年のPLDI本会議にRPモデルそのものを主題とする代表論文は見当たらず、近年の中心的成果を把握するにはPOPL、ICFP、‹Programming›、REBLSまで含める必要がある。

1. 調査範囲と用語

pstack スキルガイド

pstack は、AIの生成量より調査・設計・検証の深さを重視する Cursor プラグインである。中心の /poteto-mode が依頼を22種のプレイブックへ分類し、個別スキルと21の設計原則を組み合わせて実行する。

項目	内容
提供者	Lauren Tan（poteto）
バージョン	0.14.5（2026-08-29確認）
ライセンス	MIT
公式	cursor/plugins — pstack

Microharness

A small, user-invoked Claude Code skill for evidence-first discovery, conditional planning, bounded implementation, and one-pass proof of completion.

Install

Copy the directory into either:

project scope: .claude/skills/microharness/
user scope: ~/.claude/skills/microharness/

Using sqlglot from JavaScript and TypeScript

Pyodide, package persistence, and testing BigQuery SQL on DuckDB

Read time: 15 minutes

The sqlglot library is a Python SQL parser and transpiler. When working with SQL in a JavaScript or TypeScript application, you can call sqlglot directly from Node.js using Pyodide.

This is useful for handling SQL dialect differences if your production environment runs on BigQuery and your local testing environment uses DuckDB. This post explains the initial setup and how to persist packages for regular use.

	# /// script
	# # uv run --script app.py で使う依存関係（PEP 723）。
	# # pyproject.toml の実行時依存関係と揃えてください。
	# requires-python = ">=3.11,<3.14"
	# dependencies = [
	# "mlx-audio[tts]==0.5.3", # Irodori推論とTTS用の追加依存関係。
	# "gradio>=6.0,<7", # ローカルの操作画面。
	# "soundfile>=0.13,<0.14", # 音声の検証とWAV保存。
	# ]
	# ///

	-- Pure DuckDB SQL ray tracer
	--
	-- Run from this directory:
	-- duckdb < render.sql
	--
	-- The output is an ASCII PPM image: render.ppm.

	-- On the test machine, the recursive workload stopped scaling after 4 threads.
	SET threads = 4;

	title: "ブラウザ完結型・日本語句読点復元モデルの設計と軽量化技術"
	description: "キャラクターレベルTransformerの構築、ONNX変換、およびINT8動的量子化によるモデル軽量化を行い、ブラウザ上でのセキュアかつ低遅延な句読点復元推論を実現するプロセス。"
	blocks:
	- type: card
	title: "1. 開発背景と音声文字起こしの課題"
	icon: "mic"
	color: "context"
	body:
	- type: markdown
	text: \|