blog.monophile.net

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

Takaaki Yamamoto

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

work

各種システム構築と管理を承ります。使用できるのは↓。

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, ...

study

習得中の技術は↓。

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

posts

Dartでリストを連結する

いきさつ

最近、Dartでプログラミングを良くしているのですが、 補完が利いて結構気持ちよくプログラミングできてます。 ブラウザを使ってちょこっとビジュアル的な使い方もできますし、 コマンドラインアプリも書けるって結構楽しいです。 さらに言語特有のイベントループの機構 ( https://www.dartlang.org/articles/event-loop/ ) もあってユーザインターフェースは書きやすいです。 プログラミング言語の設計に関してうるさい人達にはDartの仕様が微妙に感じるらしいですが、 エディタとブラウザを含めた開発環境としての質は結構高いように思います。 つまりDartの良さは仕様を見てもわからなくて、書かないと実感できないと思います。

昔の読み書きそろばんが現代においてHTML/CSSとプログラミングならば、 全てを一つの開発環境で実行でき、 さらにマルチプラットフォーム(Mac/Linux/Windows)であることを考えると、 現時点において一番教育用途に適しているんではないかな。

Dartでリストを連結する

さて、リストの連結をDartで書いてみました。 foldという関数型言語によくある関数を使って書くと気持ち良い感じがします。

void main() {
  List<List<String>> ls = [["hoge"], ["foo"], ["bar", "piyo"]];
  var ret = ls.fold(new List<String>()
                    ,(acc, item) => acc..addAll(item));
  print("ls :${ls}");
  print("ret:${ret}");
}

下が実行結果。

ls :[[hoge], [foo], [bar, piyo]]
ret:[hoge, foo, bar, piyo]