こんにちは！メインフレームの世界へようこそ。
JavaやCOBOLといった他のモダンな言語、あるいは業務システムでバリバリ活躍されてきた皆さんにとって、突然目の前に現れる「PL/I（ピーエルアイ）」という言語は、どこか古めかしくて近寄りがたい要塞のように見えるかもしれません。
「なんだか変数名のルールも独特だし、予約語がないってどういうこと？」
「バッチ処理で飛んでくる文字化けや不正データをどうやって弾けばいいの？」
そんな不安を抱えていらっしゃいませんか？でも、大丈夫ですよ。怖がる必要は全くありません。今回は、PL/Iのユニークな構文の秘密に少しだけ触れながら、実務のデータチェックで一番頼りになる`VERIFY`（ベリファイ）関数の内部ロジックについて、システムアーキテクトの私と一緒に優しく紐解いていきましょう。
—
1. 他言語とはちょっと違う？PL/Iの識別子と「予約語がない」という衝撃
JavaやCOBOLを触ったことがある方なら、「予約語（IFやMOVEなど、システムが特別な意味で使うから変数名に使えない言葉）」の存在に悩まされた経験があるはずです。
しかし、PL/Iの歴史背景と設計思想はちょっと違います。なんと、PL/Iには「厳密な意味での予約語」が存在しません。
「えっ、じゃあ `IF` という名前の変数を作れちゃうの？」
その通り、作れちゃいます。コンパイラは、前後の文脈（コンテキスト）を見て、「あ、ここは文頭だから命令（キーワード）だな」「ここは代入先だから変数名だな」と賢く判断しています。
1
/ こんなカオスな宣言も、PL/Iのコンパイラは怒りません（やっちゃダメですが！） /
DCL IF FIXED BIN(31);
IF = 10;
これを聞くと「なんて自由奔放で怖い言語なんだ…」と思われるかもしれませんが、実務の現場では、可読性を保つために誰もわざわざそんな紛らわしい名前はつけません。ただ、この「文脈で判断する」という柔軟な姿勢こそが、長年メインフレームの巨大な基幹システムを支え続けてきたPL/Iの懐の深さなんですね。
—
2. 不正な文字を許さない！実務の守護神 `VERIFY` 関数
さて、ここからが本題です。
基幹システムのバッチ処理を書いていて、最も頭が痛くなる問題の一つが「想定外の文字（例えば、数値を入れるべき項目に英字やゴミデータが混ざっているなど）」の混入です。
画面や他システムから流れてきた怪しい文字列をチェックするとき、皆さんはどうしていますか？
「1文字ずつループを回してチェックする？」いえいえ、そんな非効率なことをしたら、何千万件も処理するメインフレームのバッチが怒られてしまいます。
そこで登場するのが、文字セット検証のスペシャリスト `VERIFY` 関数 です。
VERIFY関数って、一体何をしているの？
一言で言うと、`VERIFY(文字列, 許可された文字のリスト)` は、「指定された文字列の中に、許可されていない『お邪魔虫（不審な文字）』が最初に登場する位置（左から何番目か）」を教えてくれる関数です。
もし、すべての文字が許可されたリストに含まれていれば、お邪魔虫は居ないので `0`（ゼロ）を返します。「完璧です！」という合格サインですね。
具体例でイメージしてみましょう
例えば、次のようなコードがあったとします。
1
Dcl Target_Str Char(10) Init(‘1234A67890’); / チェック対象（あれ、5文字目が’A’だぞ…？） /
Dcl Valid_Set Char(10) Init(‘0123456789’); / 許可する文字（半角数字のみ） /
Dcl Check_Pos Fixed Bin(31);
/ VERIFY関数でチェックを実行 /
Check_Pos = Verify(Target_Str, Valid_Set);
If Check_Pos > 0 Then
Do;
/ エラー処理のロジック /
Put Skip List(‘エラー検知！ 不正な文字が ‘ || Trim(Char(Check_Pos)) || ‘ 文字目にあります。’);
End;
Else
Do;
Put Skip List(‘データはすべて正常です。’);
End;
この場合、`Target_Str` の5文字目に数字以外の `’A’` が含まれているため、`VERIFY` 関数は `5` という数値を返します。「5文字目に変な奴がいますよ！」とピンポイントで教えてくれるわけです。
—
3. 唸るほど効率的！ `VERIFY` の内部ロジックとマシンの動き
私たちシステムアーキテクトがPL/Iの `VERIFY` 関数を心から信頼している理由は、その圧倒的なパフォーマンスにあります。
「じゃあ、この関数は内部でどうやって動いているの？」気になりますよね。
Javaのように1文字ずつ `charAt()` でループを回して…なんて野暮なことはしていません。メインフレームのハードウェア特性を極限まで活かした、次のような内部処理が行われています。
1. 256バイトの「判定用ビットマップテーブル」の高速生成
コンパイル時、あるいは関数の実行開始時に、メモリ上に「アスキーコード（またはEBCDICコード）の全256文字のうち、どれが許可されていて、どれがダメか」を示す巨大なフラグテーブル（ビットマップ）を一瞬で展開します。
2. ハードウェア命令（マシン語）によるスキャン
PL/Iコンパイラは、ここを最適化し、メインフレーム（z/Architecture）の強力な文字比較命令（例: TRT（Translate and Test）命令など）に翻訳します。
3. CPUのレジスタ上での超高速ブルートフォース
メモリ上のデータをCPUの高速なキャッシュに読み込み、一気にスキャンします。「ループのオーバーヘッド」を極限まで削ぎ落としているため、数万バイトの文字列であっても、一瞬（マイクロ秒単位）で判定が完了します。
私たちが何気なく書いた `VERIFY` というたった1行のコードの裏側では、メインフレームのハードウェア機能とコンパイラの最適化技術が手を取り合って、極限までの高速化を行っているのです。レガシー恐るべし、ですね！
—
4. 初学者の皆さんへ：怖がらなくて大丈夫
初めてPL/Iのコードやデータ定義を見たときは、「ポインタがどうとか」「アラインメントがどうとか」呪文のように感じるかもしれません。
ですが、言語の向こう側にある「なぜそのような仕様になっているのか（＝大量のデータを安全に、1秒でも速く処理するため）」というシステムアーキテクトたちの意図が分かってくると、PL/Iほどシンプルで、ロジカルで、頼りになる言語は他にないと感じられるはずです。
今回の `VERIFY` 関数のように、備わっている道具を正しく使えば、複雑なデータチェックも安全かつエレガントに実装できます。
まずは肩の力を抜いて、目の前の一つの関数、一つの構文から、ゆっくり仲良くなっていきましょうね。
皆さんのメインフレームライフが、実り多いものになりますように！
