犬派

プログラミング言語処理系開発者。宇宙・数学・弐瓶勉が好物の40代。フォローは、お気軽に♪

[犬派 @ilwli]

Jiepp ~IEC 61131-3 テキスト用のプリプロセッサ~ をOSSでリリースしました。
https://t.co/OV4ibec8IP

IEC 61131-3 テキストに、C系ディレクティブ {#define}、{#include}、{#if} 等を使用できるようになります。Jieppユーザ向けの詳しい仕様書は以下です。
https://t.co/1Po36GYo04

※Jieppのバイナリは、Jieccに同梱する形式で別途案内します。

[犬派 @ilwli]

リサイクル技術の乏しい国から電子機器を輸入した都市鉱山からレアメタルを取得して資源不足を補う。補うどころか、それを主とするって面白い。探すよりも効率良さそうだしね。いわゆる、静脈産業ってやつですか。

[犬派 @ilwli]

飛騨牛とビール3杯！

[犬派 @ilwli]

わざわざ後ろについたけど、QRコードのトラック、、、ではなかった。

[犬派 @ilwli]

圏論入門中
自然変換は、関手から関手への対応を考えるが、実体としては、複数の関手で得た対象から対象への射の集まりのイメージに近い。
関手は、射の役割を担えないが、関手を射と考えることはできる。抽象度が高いし、図で示すことも段々と面倒臭くなる。深く理解するためには、高度な脳が必要だろう。

[犬派 @ilwli]

圏論。aとbの関係と、αとβの関係が似ている、といった『関係が似ている』は分かる。次の『関係の関係が似ている』は分からなくなる。
スッと分かる人って、脳の構造が違うと思う。

[犬派 @ilwli]

圏論入門中
関手は、圏から圏への対応、（多分、構造を維持して、）圏の構成要素から別の圏の構成要素への対応を扱う。プログラミングでいうmapの概念のイメージ。
関手は、対象のみならず、射の変換もセットで考える。写像よりも扱う範囲が広いと感じる。同時に、恒等射の存在の条件は過剰な制約にならないかとも感じる。（恐らく、制約が秩序を作るってやつで逆なんだろうと思う。）

[犬派 @ilwli]

圏論入門中
具体的に書かれたモノの集まり（外延的定義）から集合を定義できるのと同じように、頂点と線からなる図式から圏を定義できる。

部分集合に対応する部分圏や、具体的モノと具体的図式と、似た対応があることが、まさに関係の関係をみていることだと思った。

[犬派 @ilwli]

圏論入門中
集合論の部分集合に似た概念で、圏論には部分圏という定義があり、対象と射を同時にうまく扱うことができるフレームということかも知れない。

[犬派 @ilwli]

wasmって、テキスト表現あるんですね。しかも、s式like。ちなみにjieccもastは、s式です。
ちょっとみた感じ、型のサイズ入ってますね。llvmコード？ 型システムない状態では、wasmは遠そう。で、jiecc、ないです、型システム。どうやって、jierが動いてるのか分からない😅
"素朴な"JS変換楽しそうです。やってみようかな〜。

[犬派 @ilwli]

@pachicom777 素晴らしい。適度な競争があると良くて、トイレットペーパーが勝利の景品になると良いと思う。モチベーションとか、家族とのコミュニケーションも活性化できる。必要なものだし、変な気を使わなくて良い

[犬派 @ilwli]

「臭い」で変換して「ξ」がでてきたところがなんとも

[犬派 @ilwli]

参考にさせて頂いて、スキル化してみました。

------------------------------------

---
name: naturalize-article
description: 'AI臭のある記事（.md / .html / .txt）を10項目の自然化ルールに従って自然な文章に変換するときに使用する。既存ファイルはバックアップして上書き保存する。'
argument-hint: '変換対象のファイルパスを指定してください（複数ファイル可）'
---

# AI臭を抜いて自然な記事に変換する

## 使用するタイミング
- AI が生成した文章の臭いが気になるとき
- 公開前の記事を人間らしい文体に仕上げたいとき
- 既存の .md / .html / .txt 記事を自然な文章に書き直すとき

## 変換ルール（10項目）

以下の10項目すべてを一括適用する。

| # | 名前 | 概要 |
|---|------|------|
| ① | AI臭ぬき | 語尾・言い回しの重複を排除し、同じ意味でも毎回ちがう言葉を使う |
| ② | 優等生くずし | 整いすぎた構成を崩し、あえて省く・脱線させる |
| ③ | 立場だし | 中立をやめて「自分はこう見る」を前に出す |
| ④ | 感情のせ | 気持ちが動いた瞬間を言葉にし、体温を入れる |
| ⑤ | 具体に落とす | 抽象表現を映像が浮かぶ描写・数字・場面に変える |
| ⑥ | 会話体化 | 文頭につなぎ言葉を挟み、目の前の相手に話しかける |
| ⑦ | 読者引き込み | 途中に読者への問いを置き、寄り添う一言を添える |
| ⑧ | 語尾ばらし | 「です・ます」に言い切りを混ぜ、毎回語尾の型をずらす |
| ⑨ | 教科書感抜き | 接続詞を減らし、解説口調でなく話しかける形で書く |
| ⑩ | 緩急づけ | 短い文と長い文を混ぜ、刺す一文は短く言い切る |

## 変換対象外（保護領域）

以下の領域は変換しない。変換前後でハッシュ比較して不変を確認すること。

**Markdown**:
- YAML フロントマター（先頭の `---` ～ `---` ブロック）
- フェンスコードブロック（` ``` ` / `~~~` / 4個以上のバッククォート）
- インラインコード（`` `code` ``）
- URL / リンク先 `[text](url)` の `url` 部分
- 画像パス `` の `path` 部分

**HTML**:
- `<pre>` / `<code>` / `<script>` / `<style>` / `<template>` タグ内
- HTML タグの属性値
- URL / href / src 属性

## 事実追加禁止

変換は文体の改善のみ行う。以下は絶対に追加・改変しない:

- 新しい事実・数値・引用・統計
- 筆者の経験・立場・意見（原文に根拠がないもの）
- 具体的な場面・エピソード（原文にないもの）

`⑤具体に落とす` や `③立場だし` の適用は、原文に既存の材料がある場合のみ行う。
材料がない場合はその項目を `N/A`（スキップ）とし、Verifier に報告する。

## 手順

### 1. 対象ファイルを確認・検証する

引数でファイルパスが指定されていない場合は `ask_user` で確認する。
複数ファイルの場合は一件ずつ処理する（並列不可）。

ファイルごとに以下を事前チェックし、NGなら処理を中止して `ask_user` で確認する:
- ファイルが存在する
- 拡張子が `.md` / `.html` / `.txt` のいずれかである
- `.bak` ファイルでない
- 複数指定時に重複（同一パス）がない

### 2. バックアップを作成する（既存ファイルのみ）

タイムスタンプ付きバックアップを作成する（再実行時も復元点を失わない）:

```
元ファイル: article.md
バックアップ: article.md.20260802_112057.bak
```

PowerShell 例:
```powershell
$ts = (Get-Date -Format 'yyyyMMdd_HHmmss')
$bak = "$path.$ts.bak"
Copy-Item $path $bak
# コピー後にハッシュ確認
if ((Get-FileHash $path).Hash -ne (Get-FileHash $bak).Hash) { throw "バックアップ検証失敗" }
```

バックアップ作成・ハッシュ確認に失敗した場合は **上書きを中止する**（[F1]）。

### 3. 保護領域をマニフェスト化する

変換前に保護領域を抽出し、変換後の比較に使用するマニフェストを作成する:
- 各保護領域の開始位置・終了位置・SHA-256 ハッシュ

これは Verifier がファイル保存後に実ファイルで検証する際に使用する。

### 4. Executor サブエージェントを起動して変換する

Executor はファイルを直接書き込まず、変換後テキストのみを返す。

**Executor へのプロンプト**:
```
以下の手順で記事を変換してください。

## 変換対象ファイル
<ファイルパス>

## 変換ルール
「変換ルール（10項目）」に記載の10項目すべてを適用してください。
ただし「事実追加禁止」ルール（下記）を厳守してください。

## 事実追加禁止
- 新しい事実・数値・引用・統計を追加しない
- 原文にない経験・立場・エピソードを創作しない
- ⑤具体に落とす・③立場だし は原文に材料がある場合のみ適用
- 材料がない項目は「N/A」と記録する

## 変換対象外（変換しないこと）
- YAML フロントマター
- フェンスコードブロック（``` / ~~~）・インラインコード
- HTML <pre>/<code>/<script>/<style>/<template> タグ内
- リンクURL・属性値

## 出力
変換後のテキスト全文と、N/A にした項目のリストを出力してください。
（ファイルへの書き込みは行わない）
```

### 5. Verifier サブエージェントで変換品質・事実保全・保護領域を確認する

Executor の出力と保護領域マニフェストを渡して Verifier を起動する。

**Verifier へのプロンプト**:
```
以下のテキストを審査してください。

## チェック対象テキスト
<Executorの出力>

## 保護領域マニフェスト
<ステップ3で作成したマニフェスト>

## チェック項目

### 変換品質（10項目）
①AI臭ぬき ②優等生くずし ③立場だし ④感情のせ ⑤具体に落とす
⑥会話体化 ⑦読者引き込み ⑧語尾ばらし ⑨教科書感抜き ⑩緩急づけ
各項目「OK」「N/A」「NG（理由・修正指示）」で評価。

### 事実保全
原文にない事実・数値・経験・意見が追加されていないか確認。
追加があれば必ず NG とする。

### 保護領域の不変性
保護領域のテキストが原文から変更されていないか確認。
変更があれば必ず NG とする。
```

### 6. NG の場合は差し戻しループ

- Verifier が1つでも NG を返したら、修正指示を Executor へ渡して再変換する
- 最大3回ループし、3回目でも NG の場合は `ask_user` でユーザーに判断を仰ぐ

### 7. OK になったら保存する

変換後テキストを **一時ファイル** に書き込んでから元のパスへ原子的に置換する（LF 改行、UTF-8 BOM なし）。

```powershell
$tmp = "$path.tmp"
[https://t.co/wDsiN6p7CH.File]::WriteAllText($tmp, $content, [System.Text.UTF8Encoding]::new($false))
Move-Item $tmp $path -Force
```

### 8. Verifier が実ファイルを検証する

保存後、Verifier に以下を確認させる:
- 実ファイルのエンコーディング・EOL が正しいか
- 保護領域のハッシュが保護領域マニフェストと一致するか

### 9. 完了を報告する

```
変換完了: <ファイルパス>
バックアップ: <バックアップパス>
N/A 項目: <なし or 項目名>
適用ルール: 10項目
```

## 注意事項

- `.bak` ファイル自体は変換しない
- HTML ファイルは `<pre>`/`<code>`/`<script>`/`<style>` の範囲を正確に除外する
- `ask_user` で確認が必要な場合はループを止めて必ずユーザーに確認する
- Executor がテキスト全文を会話出力として返す際は、説明文や余分なコメントを混入させない

## 完了条件

- [C1] 対象ファイルのタイムスタンプ付きバックアップ（`.yyyyMMdd_HHmmss.bak`）が作成され、ハッシュ一致を確認した
- [C2] 10項目すべて（N/A を除く）が変換後テキストに適用されていることを Verifier が確認した
- [C3] 保護領域（コードブロック・YAML フロントマター・HTML タグ内等）が変換前後で不変であることを Verifier が確認した
- [C4] 原文にない事実・数値・経験が追加されていないことを Verifier が確認した
- [C5] 変換後テキストが実ファイルに LF 改行で上書き保存された
- [C6] 保存後に実ファイルのエンコーディング・EOL・保護領域ハッシュを Verifier が確認した
- [C7] 完了を報告した

## 失敗時の対処

- [F1] バックアップ作成またはハッシュ確認に失敗した場合は上書きを中止し、ユーザーに手動バックアップを依頼する
- [F2] Verifier NG が3回連続した場合は `ask_user` でユーザーに判断を委ねる（自動で完了と宣言しない）
- [F3] 保護領域の範囲検出が不確かな場合は `ask_user` で確認してから変換する
- [F4] 事実の追加が疑われる場合は変換候補を提示し、ユーザーに確認を取る
- [F5] 対象外の拡張子・存在しないファイル・重複パスが指定された場合は処理を中止して `ask_user` で確認する

[犬派 @ilwli]

@kmu2030 AWSとMQTTの文脈で、JSONが面倒という話だったので作ってみたのですが、MQTTのペイロード部分って特に決まってないんですね。
Kaitai Structの出力先の言語として、STを実装するのも面白い取り組みと思いました。ポインタもない言語で可能なのか。。。

[犬派 @ilwli]

トランス！確かに、10代の衝撃や感動の感じを思い起こさせる、、、かも知れない。

[しゃずれ(pot8oz) @Charz_red]

今更だけど、Angine de Poitrine が良すぎる。脳を焼かれる感じだ。
https://t.co/3Iqa3QVSc3

[犬派 @ilwli]

@kmu2030 https://t.co/3lyiS8OXMJ は、json データを omron の構造体変数の値へ双方向でマッピングすることを実行時に行う iec 61131-3 コードジェネレータです。何か活用できますかね？オムロンだけでなく、簡単にキーエンスや codesys にも対応できたら嬉しい。

[犬派 @ilwli]

IEC 61131-3のインタプリタの実現は、前々から自分の勉強のためにとやっていましたが、AIが登場してからは、ほぼAIでやることになってしまい、問題が起きたときもAI任せという始末☹️
↓ わははは...

[犬派 @ilwli]

Jiecc 7.1.0 をリリースしました。IEC 61131-3インタプリタ実行機能を追加しました。
https://t.co/xtkvGcJRJq

POUをPython言語で記述できたりする機能もありますが、仕様・品質ともにまだまだと考えてください。大事

[犬派 @ilwli]

AIらしいけど、良い曲
https://t.co/vkF0t1B0Bw

[犬派 @ilwli]

昭文社(9475) 株主優待
株価 509円

[犬派 @ilwli]

おーVaundyのチケット取れたー。1年3ヶ月後のチケット笑