カテゴリー別アーカイブ: 日記

型システムの勉強

型システムを自分で設計したいと思ったので「型システム入門 プログラミング言語と型の理論」(原題:Types and Programming Languages, 略して TaPL)を読んで勉強している。

この記事は私の雑な理解を吐き出したものであり、あまりまとまっていない。しかし、何かしらをアウトプットすることに意義がある(キリッ 続きを読む

「結城友奈は勇者である」聖地巡礼 〜観音寺編〜

たまたま四国に旅行に行く機会があったので、アニメ「結城友奈は勇者である」の舞台である観音寺(かんおんじ)市に寄って聖地巡礼をしてきた。

(たまたま四国に行く機会があったから旅程に組み入れただけで、聖地巡礼が目的で四国に行ったわけではない) 続きを読む

舞台探訪に行ってきたよぉ 〜井波編〜

最近「ゆるゆり」にハマっているので、帰省のついでに舞台探訪(聖地巡礼)的なやつに行ってきた。

まずは「ゆるゆり なちゅやちゅみ!」(OVA)に登場する、井波(現・南砺市)の閑乗寺公園から。(実家から近い&小さい頃から何回か行っていて思い出深いので) 続きを読む

MSYS2 から Visual C++ (の環境変数を設定するバッチファイル)を叩く

2016年4月26日:「シェルでやる方法」を追記。

Windowsの開発環境には、環境変数を設定するバッチファイルが提供されていて、そのバッチファイルを実行すると PATH とかの環境変数が設定されるというパターンがたまにある。(スタートメニューに「環境変数を設定済みのシェルを起動する」ショートカットを登録するパターンの方がもっと多い気がするが)

MSYS2からこういう開発環境(というか、Visual C++)を叩きたい。もちろん、cmd.exe を使って

$ cmd //c "C:\Program Files (x86)\Microsoft Visual Studio 14.0\VC\bin\amd64\vcvars64.bat"

みたいなことをすれば vcvars64.bat (Visual C++用に環境変数を設定するバッチファイル)を実行すること自体はできるが、そこで設定された環境変数は呼び出し元のシェルに反映されない。 続きを読む