はてなブックマーク

Julia advent calendar 2016 7日目の記事です．Juliaのtype system（型システム）についてざっくりとまとめました． 全てのtypeは樹形図のようにつながっている 樹形図と言えば，根があって，枝分かれがあって，最後に葉にたどり着くような図のことだけど，Juliaのtype systemはまさにこれ． Subtypeとsupertype 今，ある一つのtype Aがあったとしよう．そこから根の方向にあるtype Bはtype Aのsupertypeと呼ぶ．逆にtype Aから葉の方向にあるtype Cはtype Aのsubtype．これを踏まえて，Juliaにおける全てのtypeのsupertype，すなわち根に当たるtypeはAnyと命名されている．つまり，全てのtypeはAnyのsubtypeと言うことも出来る． julia> Float64 <: A

となっています．Vundleが圧倒的ですね．それぞれのプラグインの特徴は， Vundle プラグインのインストール・アップデート時の画面などが個人的に分かりやすくて好きです．僕はこれまでずっとこれを使ってました． vim-plug 僕の今一番のオススメです．プラグインのインストール・アップデートが複数のスレッドを使って並列で行われるので超高速です！そして，プラグインの設定の記述方法も3つの中で最もシンプル．以下のサイトで紹介されているのを見て使い始めました． おい、NeoBundle もいいけど vim-plug 使えよ NeoBundleからvim-plugへ NeoBundle から vim-plug に乗り換えてみた NeoBundle 日本人の方が作者なので，日本語で検索をかけると真っ先に出てきます．なので，情報も豊富です！今はDein.vimに移行を進めてるようですが，個人的に設

LaTeXのいいところ，微妙なところ いいところ 美しい 数式を書くのが色んな意味で楽 自分の好きなテキストエディタを使える 文章だけに集中出来る 微妙なところ ソースコードだけを見ると探したい文章を見つけるのが困難 添削しづらい 色んな意味で敷居がちょっと高い 賛否両論あると思いますが，僕が感じるのはこんなところです． 現状の環境 使っているツールは... MacTeX MacでTeX環境を導入してくれるやつです．BasicTeXというものもあり，これは何でもかんでも欲しがるグリフィス（MacTeX）に比べ，最小限のものしか欲しがらないガッツ的なやつで，かなりハードディスクの容量を削減できます．が，僕にとっては大した問題ではないので黙ってグリフィスを使っています． みんな大好き，僕も大好き，なテキストエディタ．扱いは難しいが使いこなせば強い，まさにドラゴン殺しの剣みたいな存在． vimt

僕は生粋のプログラマーではないですが，普段研究で数値解析のプログラミングを行っている時，論文を書いている時などは常に黒い画面を見ています．なので，自分の気にいった環境じゃなければやる気が出ません．生産効率も上がりません．ということで構築してみました． カッコイイ環境に憧れて 見た目は重要です．自己満の類ではありますが，気に入った環境であれば俄然やる気も出てきます．僕は「さいつよのターミナル環境を構築しよう」で紹介されている環境に一目惚れしました．ちょうどSolarizedのカラースキームも使っていたので，喜んで便乗していました．ですが近頃Solarizedの色合いに飽きがきて，あのグリーンな背景を見ると目が疲れてしまいます．やる気も出ません．そのせいで生産効率が大幅に落ちました（言い訳です）． そんな僕が次に目をつけたのは，Railscastsという自然色系のカラースキームです．きっかけは

僕が普段Macで使っている便利なアプリを紹介します．僕の専門は地盤工学で，主にFEMのプログラミングなどを自身の研究で行っているので，内容はそっちの方に少し偏りがあります．ご了承ください．新しく研究室に来た学生は，ここを見て気に入ったものがあればインストールしてみてください．紹介してるアプリは全て無料です！ とにかくこれは入れとけ Alfred2 これは入れなきゃ損です．Alfred2はランチャーアプリで，MacOS標準で搭載されているSpotlightよりも個人的に使いやすいです．コマンド一発でアプリを起動できるのはもちろん，defineと打った後に単語を入れれば，デフォルトの辞書アプリですぐに調べれますし，findと打った後に文字を入力すれば，ファイルやフォルダを検索することも出来ます． AppCleaner これは，アプリをアンインストールするときに使います．MacOSの場合は，基本