タグ

2008年6月9日のブックマーク (8件)

  • Mew (Messaging in the Emacs World): Mew マニュアル

    Mew マニュアル 山和彦 作成 1996/02/19 更新 2008/05/13 このマニュアルでは、Mew バージョン 6.1 について解説します。 このマニュアルの他に、Mew に関する有益な情報は Mew の公式ホームページ (http://www.Mew.org/)から得られるかもしれません。

  • Emacs でホームディレクトリ以下に site-lisp を作ってパッケージの管理を楽にする

    的に YaTeX とか、 hnf-mode や ruby-mode などの後から入れる elisp-file は ~/unix/emacs/package 以下にディレクトリを作って入れてしまいます。 例えば、 ~/unix/emacs/package/yatex/ ~/unix/emacs/package/hnf/ ~/unix/emacs/package/ruby/ とかです。 /usr/share/emacs/site-lisp 等に入れると update の際に全員が影響を受けてしまうので、 あまり好みではありません。 SKK なんかは, .skk の書式が変ったりしますしね。 環境移植の際もホームディレクトリだけを持ってくれば OK なので楽です。

    rednes
    rednes 2008/06/09
  • 向け直し

  • How to use mew

    以下は, mew (バージョン 2.2 および 1.94.**) の基的な使い方です. 1. mew を立ち上げる emacs を立ち上げて, [Alt]-x mew と打ち込むと mew が立ち上がり, 新着メールをチェックしてくれる. ※ emacs を立ち上げるとき $ emacs -f mew とすると, 始めから mew が起動される. mew には Summary モードと draft モードという 2 つのモードがある. ・Summary モード: 保存しているメールに対する処理を指定するモード. フォルダ内のメールの一覧表示の状態. ・draft モード: メールを書くモード 2. メールをチェックする mew を立ち上げると最初に inbox というフォルダが開かれ, そこに新着メールが入る. 読みたいメールにカーソル合わせて [Enter] か [Space] か [

  • Spin - Formal Verification

    Open Source: Starting with Version 6.4.5 from January 2016, the Spin sources are available under the standard BSD 3-Clause open source license. Spin is now also part of the latest stable release of Debian Linux, and has made it into the 16.10+ distributions of Ubuntu. The current Spin version is 6.5.1 (July 2020). Symposia: The 30th International Spin Symposium was held April 10-11 2024 in Luxembo

  • 【2ch】日刊スレッドガイド : ハイジの村のコスプレ大会に、クレームの電話1本→イベント中止

    1 : クリリン(神奈川県) :2008/06/06(金) 15:05:44.02 ID:+RZnHGM+0 ?PLT(12799) 山梨県北杜市のテーマパーク「県フラワーセンター・ハイジの村」で、「コスプレ大会」が今年度は 中止されることになった。  施設所有者の県が、アニメやゲームの登場人物に仮装した若者が押し寄せる状況に「1だけ だが、苦言の電話があった」と管理者に見直しを求めた。一方、人気イベントだっただけに、復活を 望むファンの声も多い。  同センターは1998年に開園。2006年に県内の菓子製造会社など2団体が指定管理者と なり、アニメ「アルプスの少女ハイジ」をテーマに改装オープンした。  コスプレ大会は、集客の目玉として昨年4月から計6回開催。センター側で更衣室を用意し、 コンテストも企画した。手製の衣装や、色とりどりのカツラで着飾った若い女性を中心に昨年度は 延べ約1万

    rednes
    rednes 2008/06/09
    コスプレ=アニメな思考にうんざり
  • SPIN Installation (JSSST formal method tutorial)

    SPIN インストール方法 このページでは,チュートリアル“モデル検査を用いたソフトウェアの形式検証”のための Windows 用 SPIN システムのインストールと起動の方法をご説明します.なお,SPIN とその インストールに関するより一般的な情報は,こちらやこちらをご覧下さい. [インストール方法] Windows 用 SPIN システムを快適に利用するためには,Cygwin,Tcl/Tk,XSPIN の 3 つの システムをインストールする必要があります.以下のものをダウンロード & インストール して下さい.なお,インストールには 100MB 程度の空きディスク容量が必要です. Cygwin インストーラ [ダウンロード] ダウンロードしたファイルを実行してください..途中インストールパッケージ の選択のとき,Devel の下の gcc-core: C compiler のバ

  • Emacs Lisp プログラミング:

    解 説書である. 以下にあるメニューは各章のリストである.ここにはすべての章のすべての節 を一覧してある.

    rednes
    rednes 2008/06/09