「日記」カテゴリーアーカイブ

型システムの勉強

1件のフィードバック

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

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

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

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

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

舞台探訪に行ってきたよぉ 〜高岡編〜（「ゆるゆり さん☆ハイ！」聖地巡礼）

帰省のついでに、アニメ「ゆるゆり なちゅやちゅみ！」（OVA）、「ゆるゆり なちゅやちゅみ！+」（特別編）、「ゆるゆり さん☆ハイ！」（3期）の舞台探訪（聖地巡礼）に行ってきた。
続きを読む →

舞台探訪に行ってきたよぉ 〜井波編〜（「ゆるゆり なちゅやちゅみ！」聖地巡礼）

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

まずは「ゆるゆり なちゅやちゅみ！」（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++用に環境変数を設定するバッチファイル）を実行すること自体はできるが、そこで設定された環境変数は呼び出し元のシェルに反映されない。 続きを読む →