関数定義や参照へキーひとつで飛ぶことのできるタグジャンプ。いまやコードリーディングに無くてはならない機能ですが、これを可能にするのがCtagsやGNU GLOBAL (Gtags) といった「インデクサー」です。 本記事では、C/C++用の優れたインデクサーであるRtagsのセットアップの方法、そしてVimとの連携の仕方について書いていきます。 Rtagsの利点 インデクサーは、ソースコードをパースして関数や変数などのシンボル名と位置を記録したタグ(インデックス)データベースを作成するプログラムです。 Ctagsは現在最も広く使われているインデクサーの一つで、Cを始めとしてRubyやPythonなど、40あまりの言語に対応しています。ところがC++では文法の複雑さゆえに内部のパーサーが十分に対応できず、正しくシンボル名を認識できなかったりします。Gtagsも同様の問題を抱えています。 そこ
Reification is the process by which an abstract idea about a computer program is turned into an explicit data model or other object created in a programming language. A computable/addressable object—a resource—is created in a system as a proxy for a non computable/addressable object. By means of reification, something that was previously implicit, unexpressed, and possibly inexpressible is explici
First published Tue Oct 24, 2006; substantive revision Thu Feb 3, 2022 A rigid designator designates the same object in all possible worlds in which that object exists and never designates anything else. This technical concept in the philosophy of language has critical consequences felt throughout philosophy. In their fullest generality, the consequences are metaphysical and epistemological. Wheth
2月22 戸田山和久『恐怖の哲学』(NHK出版新書) 8点 カテゴリ:思想・心理8点 サブタイトルは「ホラーで人間を読む」。ホラー映画を題材としながら、「恐怖の機能」、「恐怖の正体」、そして「ホラーを楽しむということ」を徹底的に掘り下げようとしています。 著者が「まえがき」で「恐怖は意外にも哲学の主題になってこなかった」(16p)と書くように、「笑い」や「愛」などに比べると「恐怖」を論じた哲学は少ないはずです。ただ、その理由は想像しやすいもので、「笑いや愛といったはものは人間独自のものだが、恐怖は他の動物にもあるものだから」といったものがあがるでしょう。 しかし、実はそこが著者の狙い目でもあります。著者は「あとがき」の最後の部分で次のように書いています。 さて、本文の最後で書いたとおり、哲学は生物学や脳科学とシームレスでつながるべきだ。魂があるから、理性があるから、言語があるから、人間は特
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く