本記事の目的 解説 Stateモナドの定義 ひとつの補題 コードを読み解いていく まずは部分的に そして全体へ まとめ 本記事の目的 Stateモナドの挙動を定義から導出したい. それが本記事の目標です. Stateモナドについて調べると, いくつかの記事がヒットしま…

概要 まだまだExcelさんは現役ですね. でもMac使いだとOfficeがインストールされていなかったり, 共有したいときに不便だったりします. そんなときはGoogleスプレッドシートに変換してしまいましょう. GoogleDrive上でExcelファイルを開くと, 「Googleスプレ…

概要 Google Apps Scriptを使って, Google Drive上のファイルにアクセスしてみました. 当然ながら, アクセスするのは自分のGoogleアカウントに紐づいたDriveです. 情報源 基本的には公式リファレンスを読めば大体のことがわかります. 困ったときはそちらを参…