CTMCP のために Mozart/Oz を動かす

2019年04月08日に投稿 • カテゴリ:学習 • タグ:MozartOzEmacs環境構築

ゼミの輪読で, Concepts, Techniques, and Models of Computer Programming (MIT Press) ,略称 CTM または CTMCP を読むことになった.その為の準備と,ちょっとだけ読んだのでそ …

続きを読む

Google Analytics の導入

2019年04月08日に投稿 • カテゴリ:運用 • タグ:PelicanブログGoogle AnalyticsSEO

Google Analytics を導入したので,やったことをまとめた.

トラッキング ID の設定

既に Analytics のアカウントは持っていたので,そのアカ …

続きを読む

GHC のノートコメントについてのあれこれ

2019年04月07日に投稿 • カテゴリ:構想 • タグ:HaskellGHC

https://github.com/myuon/ghc-compiler-notes にコントリビュートしたので,それについてと考えてることとか書く.

なお, myuon さんによる紹介記事も参照 …

続きを読む

ブログに共有ボタンを追加した

2019年04月05日に投稿 • カテゴリ:運用 • タグ:PelicanブログPythonJavaScript

ブログに共有ボタンを追加して, JavaScript を呼べるようにした.

導入までの経緯

Pelican には CSS を追加する仕組みはあるが, JavaScript を追 …

続きを読む

Python の datetime が難しい

2019年04月03日に投稿 • カテゴリ:プログラミング • タグ:Python標準ライブラリ

色々ハマったので,メモをしておく.

aware と naive

Python の datetime モジュールでは,日付情報を表現する date オブジェクト,日中時間を表現する time オブ …

続きを読む

ブログのデザイン調整

2019年04月02日に投稿 • カテゴリ:運用 • タグ:PythonPelicanブログCircleCI

ブログの改良をちょっと色々やってたので,そのご報告.

Circle CI での謎の警告解消

今まで Circle CI 上だと以下の警告が出てた:

WARNING: Locale could not be …
続きを読む

ブログ始めました

2019年03月31日に投稿 • カテゴリ:運用 • タグ:PythonPelicanブログGitHub

色々あって,技術的なことを書くブログを始めようと思いました (まる) . 今までは, Advent Calendar の時期だけ Qiita に記事を書いてたりした …

続きを読む