blog.monophile.net

コンピュータのこととかのメモ。

山本 一彰 | Takaaki Yamamoto

東京工業大学において計算機科学と応用数学を学び、 情報科学芸術大学院大学[IAMAS]においてメディア表現を専攻し修了。 2015年にコンビネータ論理を基に計算完備な計算手法 "論理珠算"を開発し、 それを含む体系である"算道"を構成した。 その成果により、 第19回 文化庁メディア芸術祭 アート部門 新人賞 (文部科学大臣賞) を2016年に受賞。 現在はインフラエンジニアとして生計をたててている。

技術

Configuration Management Ansible, Terraform, Cloud-Init
Cloud Platform GCP, AWS, Azure, OpenStack
Virtualization, Container QEMU+KVM, Xen, LXD/LXC, Docker
OS Ubuntu, Debian GNU/Linux, CentOS, FreeBSD, ...
Storage Ceph, GlusterFS, ZFS, btrfs, ...
Router Linux+Netfilter, Quagga, VyOS, Cisco IOS, YAMAHA RTX, ...
Switch Dell FTOS, AlaxalA, NETGEAR, ...
DB MySQL, MariaDB(Galera Cluster), MongoDB
Mail postfix, dovecot, RainLoop
WebApps WordPress, GitLab, MatterMost, Redmine, ...
Monitoring Nagios, Munin, Zabbix, Prometheus, Grafana
Misc Kubernetes/Istio, certbot, dnsmasq, ...

習得中

OS CoreOS(Container Linux), Windows on QEMU, ...
SQL PostgreSQL, BigQuery, ...
NoSQL CouchDB, ArangoDB, Neo4J, ...
Misc Proxmox, oVirt, MAAS, NFV, ...

投稿

NLTKでSKIコンビネータの構文解析をする

概要

お手軽にSKIコンビネータの構文解析をやってみたかったので、NLTK使いました。 NLTKは自然言語処理用なので、普通はpyparsingとかの方がよいかと。

code.py

標準入力から1行ずつ読み込んで、解析し、構文木を描画します。

import sys
import nltk

for line in sys.stdin:
    ski_grammar = "C -> '(' C ')' | C C | 'S' | 'K' | 'I'"
    ski_cfg = nltk.CFG.fromstring(ski_grammar)
    parser = nltk.ChartParser(ski_cfg)
    ski_sent = list(line.replace("\n", ""))
    trees = parser.parse(ski_sent)
    root = next(trees)
    print(root)
    root.draw()

実行

$ echo "S(KS)K" | python code.py

以下の様な標準出力と画面が出ると思います。

(C (C (C S) (C ( (C (C K) (C S)) ))) (C K))