関数型言語の勉強にSICPを読もう - (53) 4章 - 超言語的抽象(216ページ) C++でSchemeインタプリタを作ろう1 - higepon blog
4章では Scheme の上に Schemeインタプリタを作る過程でいろいろなものを学んでいきます。 このように、被実装言語と実装言語が同じなことを metacircular というらしいのですが、読んでいるだけでドキドキしてきます。 実際4章を読み進めていくと、とても面白いのですが、所々で引っかかるところがあります。 どうも読んでいるだけでは解決しないモヤモヤがあって、それは被実装言語と実装言語の境界に関する問題のように思えてきました。 metacircularだと、どこまでが被実装言語の機能で、どこからが実装言語の機能なのか分からなくなってきてしまうのです。 こんな経緯もあり、4章で書かれているSchemeインタプリタを「ほぼそのまま」C++で実装してみようという思いに至りました。 最近SICP日記を更新できなかったのはこのあたりに悩んでいたからです。 いろいろと困難あるでしょうが、試
git勉強会
導入編 バージョン管理システム git はバージョン管理システムの 1 つ。 バージョン管理システムは、プログラムのソースファイルやテキストファイルの変更履歴 (バージョン/リビジョン) を管理します。 あるファイルをバージョン管理に頼らずに管理しようとした場合、変更前にファイルのバックアップを作ってから、ファイルを変更するでしょう。何らかの手違いがあって、ファイルを元に戻したいとき、予め作成しておいたバックアップファイルをコピーすることで元へ戻すでしょう。 hello.rb を変更しようと思ったら % cat hello.rb #!/usr/bin/env ruby puts 'hello' 変更の前にファイルのバックアップを作成してから % cp hello.rb hello.rb.bak 変更を始めると安心です % vi hello.rb hello.rb を壊してしまっても元に戻せ
MacWiki
ようこそ このサイトはMac OS X上の学術系ツールやオープンソースソフトウェアに関する情報を集め、共有することを目的にしています。 MacWiki の各ページは、誰でも自由に編集できます。 気付いた人が少しずつ、足りない情報を書き足していくことで、 良質の情報ページが出来ていって 多くの方の参考になってくれればと思います。 趣旨に賛同して下さる方はぜひ、 あなたの知っていること・気付いたことなどを ページに書き込んでいって下さい。 ページ一覧 次のページ一覧や、サイドバーにあるリンク・検索ボックスを使って お探しの情報にアクセスしてください。 ページ一覧 - 全ページの一覧です。 カテゴリ一覧 - 全カテゴリの一覧です。 最近更新したページ - 最近更新されたページの一覧です。 ナビゲーションページ - 主なページへのリンクです。 談話室 - サイトの運営に関する話題や、 個々のページ
Beginning OS X 10.6/アプリ導入編 - Beginning OS X
[編集] ユーティリティ [編集] lv 日本語の扱えるページャとして lv - a Powerful Multilingual File Viewer / Grep がある。 lv は UTF-8 のドキュメントにも対応しているので、jless よりも便利に使える。 $ sudo port install lv サーチコマンドの挙動の違いに関して lv はサーチコマンドの挙動が less と異なる (一旦検索したあとのスラッシュ「/」空打ちが、検索の継続を意味しない) ので、混乱することがある。less での検索操作に慣れきってしまっているなら、 $ sudo port install lv +lesslikeslash を試されたい。 文字化けに関して lv は U+10000 以上の文字には対応していないらしく、たとえば「𠀋 (U+2000B、D840+DC0B のサロゲートペア)
Yet Another LaTeX mode for Emacs.
YaTeX is an intelligent, acquisitive and integrated package which reduces your efforts of composing LaTeX source on Emacs. YaTeX has its brothers on other distinguished Editors on DOS and Windows, Vz, Wz, Hidemaru, xyzzy. You can write your document with the same interface on any platform if you are using YaTeX family. And yahtml is the honest and bright YaTeX-compatible major-mode package for wri
YaTeX - TeX Wiki
" を入力しようとすると `` が入力される † Emacs + YaTeX でダブルクォーテーションを入力 YaTeX, TeX mode, AUCTeX では " を入力しようとすると `` が入力されます． `` ではなく " を入力したい場合は C-q " (Ctrl-Q を入力した後で " を入力) とします． ↑ YaTeX 1.80 で (setq dvi2-command "okular --unique") を設定して C-c C-g を入力すると forward search ができない † Okular は TeX ファイルをフルパスで指定しないと forward search ができないので，cf がフルパスでない場合は (expand-file-name cf) に修正する必要があります． ただし，2016-01-08 以降では (cf (buffer-file-
素人によるTeX講座
前口上 素人なりに、「文系学術のための縦組TeX利用」の環境を整え、広く同様の需要を有する方々にお知らせしようと、勢いだけで進めてきたこのシリーズだが、今回は、ようやく初期設定以外にはコマンド・ラインを用いずとも済む状況になってきたので、それについてお知らせしたい。ただし、考えてみたらOSXでの導入方法を述べるばかりで、pLaTeXの基本的使用法をろくに紹介していなかったので、まず今回はその補足から入ってみよう。 pLaTeXソースの基本書式 pLaTeXが、マークアップ言語によってテキスト・ファイルのソースを記述し、それをコンパイルしてDVIファイルを得るものであることは第1回で述べた。そこでここでは、「文系縦組」を想定した簡単なソースを示しつつ説明しよう。最低限の知識として、HTMLの場合にはタグが“<>”で示されるが、TeXのコマンドは“\”で始まる文字列であることを知っておこう。
MacWiki - TeXShop/Misc
[編集] TeXShop で簡易数式プレビュー ちょっと準備が難しいですが、TeXShop で（例えば equation 環境の中の）数式を簡単にプレビューする方法があります。別掲載の Perl スクリプトを適当な場所に設置してから、下のマクロをマクロエディタで登録します。そして、command + '/' といったキーを割り当ててみて下さい。TeXShop のエディタで数式部分のコードを選択し、command + '/' を押すだけで数式イメージが開きます。 Perl スクリプトを改変すると Preview.app をプレビューに使うこともできます。Preview.app では、command + '='（あるいは command + '+'）でイメージを拡大できるのでさらに便利でしょう。 --AppleScript tell application "TeXShop" set the
鳩山首相政治資金問題会見、雑感: 極東ブログ
昨晩、ちょっとした偶然で鳩山首相の会見をNHKで実況で見てしまった。気持ちの悪いものを見てしまったなというのが率直な感じだが、そう言ってしまえば、鳩山首相を気持ちの悪い奴だと思ったのかと誤解されるだろう。そうではない。もしそうなら、他のスプラッタなニュースと同様私は見ない。気持ちが悪かったのは、鳩山首相のクチから出てくるある毎度の特有なロジックだった。それが日本を戦争に導いたものだし、日本の宿痾と言えるものだ。平成のこのご時世になっても、こいつはでんと日本に鎮座しているのかと暗澹たる思いがした。 記者会見の理由は、鳩山由紀夫首相の資金管理団体「友愛政経懇話会」の政治資金収支報告書虚偽記載問題で、東京地検特捜部が、元公設秘書を政治資金規正法違反の罪で在宅起訴、また元政策秘書を略式起訴したことを受け、彼を監督する立場にあり、同会の代表でもある鳩山氏が国民に説明し、進退を明らかにするということだ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
