CLIを使ってS3上でのリダイレクトを設定するこのブログは静的ファイルジェネレータのPelicanで作成したHTMLファイルをAWSのS3にホストしているのですが(過去記事)、今回URLを変更して、それに伴うリダイレクトをコマンドラインから設定しました。...タスク管理をToDoリストからカレンダーメインに変えてみた先日Rebuild.fmを聞いていたら、Planというカレンダーベースのタスク管理システムが紹介されていました。自分も最近カレンダーベースがいいかもなと思ってToDoリストメインから移行したのでそこに至った経緯を書いてみようかと思います。...正規表現が正しいことを数学的帰納法で証明する(その1)自分がTAをやっている理論系のクラスの宿題から、多くの学生がつまづいていたところを紹介解説してみます。問題をかいつまんで言うとアルファベットa、bからなる文字列のうち、aが偶数個ある文字列にマッチする正規表現を示し、それが正しいということを証明せよ。用語について英語日本語間の対訳は適当なのでご了承下さい。原文も並べて書きたいのですがそれはまずいかもなんでやめときます。この記事ではMathJaxを利用して数式等を表示しています。環境によってうまく表示されない場合はパソコンやスマホのwebブラウザで表示してみてください。(音楽、レストラン編)シカゴのおすすめ観光名所を紹介しています。今回は音楽、レストラン編です。(スポーツ、ショッピング編)シカゴの観光名所を歩く。今回はスポーツとショッピング編です。CloudFrontを使ってS3上のウェブサイトをHTTPSに対応したSearch。