Google Tasks API を呼び出すスクリプトをバージョンアップして検索機能を追加した。 2018-12-15 2018-12-17 ↑にあるものの続き。 2018-12-15 でも書いたとおり近いうちに PureScript で作り直そう。 今週の目標や w010 の準備ができていない。来客が多い。