🛠メタコンピューティング メタシステム遷移＋スーパーコンパイル REFAL (for REcursive Functions Algorithmic Language) ヴァレンティン・フョードロヴィチ・ターチン