blog.monophile.net

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

山本 一彰 | Takaaki Yamamoto

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

技術

各種システムの設計/構築/運用を承ります。

Configuration Management Ansible, Terraform, cloud-init
Cloud Platform AWS, Azure, GCP, Openstack
Openstack Keystone, Glance, Cinder(Ceph), Neutron(VLAN), Nova(QEMU), Horizon
Virtualization QEMU+KVM, LXD/LXC, Docker
OS Ubuntu, Debian GNU/Linux, CentOS, ...
Storage Ceph, GlusterFS, ZFS, btrfs, ...
Networks Tunnel(IPSec, L2TP, VXLAN, GRE), WirelessAP, ...
DB MySQL, MariaDB(Galera Cluster), MongoDB
Mail postfix, dovecot
WebApps WordPress, GitLab, MatterMost, Redmine, RainLoop, ...
Monitoring Nagios, Munin
Misc certbot, dnsmasq, ...

技術(習得中)

Orchestration Kubernetes
Openstack swift, manila, trove
OS CoreOS(Container Linux), Vyatta(VyOS), ...
Networks IPv6, BGP(quagga, calico), flannel, fan, ...
DB/KVS Redis, etcd
Monitoring Prometheus, Zabbix
DNS CoreDNS, PowerDNS
Misc MAAS, Blockchain

投稿

Pythonで素因数分解をしjson形式で出力

いきさつ

Webブラウザ上で素因数分解をする必要があったが、 よさげなライブラリがなかったので、予め計算しておいたjsonデータを読み込むことで対処した。 そのときに書いたPythonのスクリプトを以下に。

sympyを使うのでpipでインストールしておく。

$ pip3 install sympy

インストールできたら、python3で以下を実行する。

import sympy
import json

max_num = 64
p = { i: sympy.factorint(i) for i in range(max_num) }
print(json.dumps(p, indent=4, sort_keys=True))

すると以下のようにjsonの出力を得ます。

{
    "0": {
        "0": 1
    },
    "1": {},
    "2": {
        "2": 1
    },
    "3": {
        "3": 1
    },
    "4": {
        "2": 2
    },
    "5": {
        "5": 1
    },
    "6": {
        "2": 1,
        "3": 1
    },
    "7": {
        "7": 1
    },
    "8": {
        "2": 3
    },
    "9": {
        "3": 2
    },
    "10": {
        "2": 1,
        "5": 1
    },
    "11": {
        "11": 1
    },
    "12": {
        "2": 2,
        "3": 1
    },
    "13": {
        "13": 1
    },
    "14": {
        "2": 1,
        "7": 1
    },
    "15": {
        "3": 1,
        "5": 1
    },
    "16": {
        "2": 4
    },
    "17": {
        "17": 1
    },
    "18": {
        "2": 1,
        "3": 2
    },
    "19": {
        "19": 1
    },
    "20": {
        "2": 2,
        "5": 1
    },
    "21": {
        "3": 1,
        "7": 1
    },
    "22": {
        "2": 1,
        "11": 1
    },
    "23": {
        "23": 1
    },
    "24": {
        "2": 3,
        "3": 1
    },
    "25": {
        "5": 2
    },
    "26": {
        "2": 1,
        "13": 1
    },
    "27": {
        "3": 3
    },
    "28": {
        "2": 2,
        "7": 1
    },
    "29": {
        "29": 1
    },
    "30": {
        "2": 1,
        "3": 1,
        "5": 1
    },
    "31": {
        "31": 1
    }
}