chibaこんにちは、chibaです。第五世代コンピュータープロジェクトとは、1980年代前半から当時の通産省のバックアップで進められた次世代のコンピューターの研究プロジェクト(ICOT)です。LSIと来て、第五世代は、多数のプロセッサによる超並列処理で人工知能だ!ワッショイ!という感じだったようです。第五世代コンピュータープロジェクトでは、プログラミング言語には論理型が採用されましたが、並列プロセッサが前提であるため、並行論理プログラミング言語である、GHCやその派生であるKL1が生み出され、KL1はプロジェクトの核となる言語となりました。このKL1をCで実装したものが、先週akiyamaが紹介したKLICになります。社内インフラ業務でもKL1をさて、前置きが長かったですが、日々の社内インフラ業務でも第五世代コンピューターの恩恵に浴したい訳です。KLICが弊社システムでも動くようになったので、まずは手始めに日々のバックアップスクリプトをKL1で書いてみるかということになりました(私的に)。ファイルのバックアップではrsyncを利用することが多いのですが、こんな感じに書けました。</code>KLICには、unix:systemという述語がありますが、これが結構使い勝手が良いです。これをklicでコンパイルし、実行します。いう実行ファイルができるので、後は利用するのみです。KLICで生成したバイナリの便利なところKLICはCへのトランスレータで、Cのソースをコンパイルして実行ファイルを生成しますが、生成されたバイナリには、基本的なオプションが付きます。helpを始めとして、GCや並列実行時のオプションを渡すことが可能ですが、-tを付けることでトレースを掛けることが可能です。-..",0)?こんな感じになりますが、これは良い機能ですね。まとめKL1を社内インフラ業務に使うという話でした。実際に日々のバックアップ作業にも投入し、第五世代コンピューティングの息吹きを感じることで日々の業務のモチベーションを高めています。今回の場合、KL1というより、ほぼPrologのコードで、並列性も全然活かしていませんが、今後の発展に期待しています。(12)引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。