Tutorial Materials for Programming Language Research
Getting started: You will need the following software. Coq: Version 8.1 or a later release. Binary and source packages are available from the Coq homepage. Either CoqIDE (comes with Coq) or Proof General. Both provide interactive environments for developing proofs and are easier to work with than Coq's toploop. coq-tutorial.zip, which contains all the Coq files and documentation for this tutorial.
git/git覚書 - TOBY SOFT wiki
はじめに † gitの個人的によく使いそうなコマンドをまとめてみました。自分用チートシートです。 よく使うコマンドは ../コマンドの省略(alias)設定をする方法にて省略形を作っておくと便利です。 各コマンドの詳細は git (コマンド名) --help すると記載があるのでそれ見てもらったら早いと思われます。 ↑ 前提 † 変更したファイルをコミットするときは、 [ローカル]→(addコマンドする)→[インデックスに入る]→(commitコマンド)→[リポジトリに入る] という状態の推移に注意して下さい。 gitでは「コミットしたいものをaddすると一旦インデックスに入るので、次にインデックスに入れたものをcommitでリポジトリにコミットする」と私は理解をしましたが、本来の用途とは別かもしれないです。 ※TODO: 概念の背景を後で調べる ※Subversionように「addでファ
sshfs が非常に便利 Mac編
以前、Windows編を書きましたが今度はMac編。 もういままで、ローカルで編集してアップとかしてたのが馬鹿らしくなりますね。。。 MacFuseのインストール こちらから最新版をダウンロードしてインストールする。 MacFUSEは、ファイルシステムをより簡単に拡張できるようにするソフトウェアらしいです。 インストールが完了すると環境設定のMacFUSEの項目が追加されます。 sshfsのインストール こちらからLeopard用のバイナリをダウンロードする。 解凍後、ファイル名を「sshfs」に変更し実行権限を付与してパスの通ったディレクトリに移動する。 $ mv ~/Desktop/sshfs-static-leopard sshfs $ chmod +x sshfs $ sudo mv sshfs /usr/bin/ リモートサーバーのディレクトリをマウントする マウントするディレク
一番面白かったフリーゲーム カナ速
1 以下、名無しにかわりましてVIPがお送りします :2011/05/28(土) 14:11:25.85 ID:e0wEzKP30
sshでリモートサーバーをマウント、便利にsshfs - Unix的なアレ
開発の作業をしているときは、複数のホストのサーバーを行き来していろいろとオペレーションをするようなことがあると思います。 そんなときに1つのサーバーから作業できるよう、ssh経由でリモートのサーバーをマウントし、Localのファイルシステムのように見せることができるsshfsを紹介したいと思います。 sshfsのインストール Debian/Ubuntuならaptで簡単インストールできます。なお、fuseグループに入っている必要があるので、その設定まで実施します。なお、ユーザー名はwadapで実施します。 $ sudo apt-get install sshfs $ sudo adduser fuse wadap $ newgrp fuse以上、簡単ですね。 早速リモートホストをマウント リモートホストをマウントするのは簡単です。マウントポイントをつくって、sshfsコマンドを実行するだけ。
ArchLinuxにOpenVMwareToolsを入れる - opamp_sandoの日記 ...でいいよね
ということで前回紹介したArchLinuxのドキュメントと、PC-BSDの時の知識を使ってvmwareにOpenVMwareToolsをインストールし、フルスクリーンなどで画面サイズが自動調節できるようにする。 (この作業は初めて行ったから無駄な操作もたくさんあるとおもう。もっと綺麗にインストールするなら参考にしないことをおすすめする) まず以下のコマンドを実行する (管理権限が必要)% pacman -S open-vm-tools gtkmm xf86-input-vmmouse xf86-video-vmware xf86-video-vesa多分無駄なものも含まれてるけど気にしない。(自分的にはgtkmmとvesaはいらないと思うけど...どうなんだろう) また、/usr/binにインストールされるであろうvmware-user-suid-wrapperもアクセス権がおかしい場合が
政府への「不満」の多さは「依存心」の裏返しである
世界中で、日本の政府ほど国民に低い評価を受けている政府も珍しい。しかし実は我が国は平均寿命、失業率の低さ、医療保険、教育水準、治安、経済力、個人資産の大きさ等々で世界トップクラスの国なのだ。その国の政府のどこがそんなに不満なのか。外国人は首をかしげることだろう。 総理大臣が頻繁に交代するのが問題だ、という意見もあるが、民主主義が機能している証しだ、と言えなくもない。世界の指導者で最も長期政権なのは、リビアのカダフィ大佐の41年。イエメンのサレハ大統領の33年や、ジンバブエのムガベ大統領の31年などが続く。北朝鮮も「金王朝」が長年続いてきた。 一般的には短期政権よりも長期政権のほうが、問題が多いのだ。それにそもそも国民自身が政府を、間接的にせよ次々に変えておいて「短期政権は良くない」はないだろう。 >>グローバル時代に生きる道・記事一覧 「政府に頼れない時代」に生まれたソニー、ホンダ 我が国
インターネット世代の現役学生や新入社員は、すでに会社や国を信用していない - 2011-11-09 - 登 大遊＠筑波大学大学院コンピュータサイエンス専攻の SoftEther VPN 日記
現在、二十歳前後の、インターネットの成長と共に育って大学で勉強をしていて、もうすぐ就職しようとしている学生のうち、社会で有益な活動をする能力がある程度に頭が働く人たちは、すでに、会社や国のことを信用していません。会社や国は便利なサービスを提供してくれる存在であるが、必ずしも安定している訳ではないから、会社や国に頼らないように気をつけなければならないと考えているようです。 5 年前、10 年前の世代と比較すると、現在の二十歳前後の世代は、過去の 5 年上、10 年上の大学での先輩などが会社に入っていろいろ知ってしまったことを大学で伝え聞いているし、また、それだけではなく、個人と会社、個人と国という関係がこの 10 年間くらいで大きく変化してきていることを成長と共に体感している訳なので、それだけ感覚が鋭いようです。 最近の社会の流れについて考えると、「個人」と、個人の活動をサポートするための存
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
iPhone 4S 時代の定番 iPhone アプリ60＋
"カルテットをやろう！ 室内楽・アンサンブル紹介ページ"