はじめまして。当社代表、松田裕幸と申します。記念すべき第一回は、当社社名シンボリックシステムズ(Sy 続きを読む
ブログ
行為寛容下における満足度に関する意味論について
「モノ」から「コト」の時代(SDL Service-Dominant Logic)に製品(モノ)では 続きを読む
ASP宣言ノート ASP Manifesto Note
Adaptive Structure Programming(ASP)は、AIと協働するための構造設 続きを読む
Simple is the Best.
現象を支配する制約を最少形式で同定する。余計な仮定を削るオッカムのカミソリとは見ている方向が真逆。つ 続きを読む
AI時代の意味論再定義について
古典的なクローズな世界を前提とした意味論をAI時代のオープンな世界において再定義してみた。⇒
制約駆動開発(CDD)
従来の事業開発では、要求仕様や業務フローが中心に据えられ、それをいかに効率的に実装するかが主眼であっ 続きを読む
AI時代における事業精度保証ー制約プログラミング再考
(事業精度:商品品質精度と事業品質をかけ合わせた造語) 事業精度を高めるのは当然として、多くは事業拡 続きを読む
教える、教わる
教師なんかやっていると、それも「基礎」大事と考えている立場から最近の学生を眺めると、基礎より応用に強 続きを読む
精度と確度
日本語では精度precisionと確度accuracyが区別されていない。だけど重要ですよ、という話 続きを読む
考える、を考える。
\author{Y. Matsuda and ChatGPT5.2} 1.「考える」とは、いったい何 続きを読む
曖昧さの力 ― 変化の中に留まる
\author{Y. Matsuda and ChatGPT5.2} はっきりしない、が動かしている 続きを読む