なんとなくprologを触ってみることにした 近代科学社から出ているBratkoの『Prologへの入門』をやろうにもやり方が分からなかったため導入部までを軽く自分メモ ターミナルにて、 sudo port install gprolog でインストールの後、 とりあえずparent.proとい…

偶然知ったのでStainless.appというWeb Browserを昨日から使ってみている.バージョンは今のところ0.5.2が最新とのこと(3/5には0.5.1で3/10には0.5.3になってた).感想はSafari.app 4 betaよりも速くてシンプル ブックマークさえないのかと思ったら左側にファ…

Leopardを英語環境下でインストールしアプリケーション内で使われている半角のカタカナだけが文字化けすることがずっと気になってたのだがフォント変えればいいのでは?と思いTinkerToolsでフォントを変えたところ文字化けしなくなった.おそらくApplicationの…

emacsとかだとCtrl+Mで改行してくれるのだがSafariや他のアプリで改行されない. 副作用など,あまり考えず変更することにした. ■やりかた 1. Finder Macintosh HD (Default) > System > Library > Frameworks > AppKit.framework > Versions > C > Resources …