kivantium活動日記

プログラムを使っていろいろやります

2017年11月 第1週

今週知ったこと

Vacuous truth

空集合の要素については何を言っても真であることについてvacuous truthという名前があることを知った。日本語だと「空ゆえに真」らしい。「うちのクラスの女子は全員かわいい」など、空集合に関して適当なことを言う冗談を身の回りでよく聞く。

CheckInstall

「tarballで配布されているソースコードパッケージからのインストール・アンインストールを容易にするパッケージ管理システム」とのこと。

EasyBuild

HPC環境でのソフトウェア管理ツール。ルート権限なしで動くのが嬉しい。

ルート権限がない環境での環境構築について以下のような記事を書いた。

今週読んだ本

ヘルシープログラマ ―プログラミングを楽しく続けるための健康Hack

ヘルシープログラマ ―プログラミングを楽しく続けるための健康Hack





特定商取引法に定められた事項は請求により遅滞なく提供する