Emacs24.4.1に最初proofgeneral4.2をインストールしようと、 proofgeneral4.2のmake compileでエラーでハマってたが develop版の4.3pre131011は普通に成功したぽよwー、 4.2 http://proofgeneral.inf.ed.ac.uk/download ProofGeneral-4.2.tgz, dependency em…

食わずぐらい嫌いでしたが、いざ使ってみるとExcelのピボットテーブルは良いものです。 使ったことある人なら解ると思いますが、GUIでデータベースの集計項目、方法を パッパと切り替え、目的の結果を得られた時には、あぁ＾〜こころがぴょんぴょんするんじ…

gnome2の時にはあった「自動起動するアプリケーションの設定」ツールが見つからない。 で、いつも通りググったら、以下コマンドでツールが立ち上がるとのこと。 なんだろう、なんで削るんだろう。この馬鹿野郎が。 $ gnome-session-propertiesで、以下を追加…

emacs24系使いたかったので、sidにupgradeしたらGUI周り*1不具合で、xの表示が可笑しくて死んだｗ−、 で、諦めてwheezyの安定版とemacs23でがんばろうか思ってたら、wheezy-backportsにemacs24会ったとさ。 なんかsidにしなくてもemacs24使えた罠＼(^o^)／ …

rainbow-delimitersについては、画像検索でググってください。 使い方は簡単で、package.el対応してるのでサクッとインストールして 以下を、.emacs等に記入したら使えます。 (require 'rainbow-delimiters) ;(add-hook 'clojure-mode-hook 'rainbow-delimit…

I apt-get dist-upgrade. cannot change screen size from 800x600 or 1024x768? is too small. my display is 1920x1200. $ uname -a Linux debian 3.14-2-amd64 #1 SMP Debian 3.14.15-2 (2014-08-09) x86_64 GNU/Linux it is resolved. update to virtual…

やるきでないので簡単にできる事として、vboxの更新してみたら見事にバグ踏んだ＞＜、 なんかインストールが終わって完了ボタン押した瞬間、エラー音がなって嫌な感じしつつも再起動を促されたのでWindows再起動。 で、再起動後にVirtualBoxマネージャーを立…

教えて貰ったので、貼っ付けとく。 window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.t…

C++テンプレート完全ガイド読書会 vol.9大阪参加 8.4から9.1まで読み。 #include <iostream> template <typename T> class Creator{ /* friend void appear(){ //下記main中のoneとthreeでappearが二重定義 return not not 0; }*/ friend int feed(Creator<T>*){ return not not 0; } </t></typename></iostream>…

P.S. 2014May22 21:43 At a later date, and I google. find these. android - Pushing repo branch to local AOSP mirror - Stack Overflow android - How to merge upstream changes into my mirrored internal server - Stack Overflow Overview AOSP on …

前回の「プログラミング原論」は予習してもハードだったが、 今回の「ものまね鳥をまねる」は「数学パズルを手と頭を動かして解いていく」読書会なので 適度に疲れたけど、頭よく使った＾＾ 第1回 ものまね鳥をまねる会 - connpass 数分で解ける粒度の数学パ…

一寸前にvirtualboxで運用してるdebianのunstableで、 dist-upgradeで最新に環境を更新したらしたら 起動デーモンがinitからsystemdに切り替わった模様。 そのためvboxの共有フォルダがマウントできなくて四苦八苦したので 以下に記事にして解決方法を纏めて…

before first. I wrote on the mount command to /etc/rc.local mount -t vboxsf -o uid=1000,gid=1000,dmode=0755,fmode=0755 Dropbox /home/murase_syuka/Dropbox but, it is fail when change from init to systemd now it is success when run on termin…

4.3.10に更新したらhost-geustでの共有フォルダがmountされなくなって原因調べてみたらrc.localの内容 を実行してもエラーになってる。 $ sudo mount -t vboxsf -o uid=1000,gid=1000,dmode=0755,fmode=0755 Dropbox /home/murase/Dropbox mount: wrong fs t…

まず最初に数学ガールの誕生 理想の数学対話を求めてですが、数学の話がメインの本じゃないです。 読めば解りますが「数学ガール設計と進化」的な内容でした。 著者が講演のなかで行った「数学ガールの振り返りの発表」を一冊に纏めた本です。 現在の数学ガ…

まあ思ってたより感動的だった。 奥さんなんでより戻したかイミフだったし、 まあウォズさん半端なかった＞＜ スティーブ・ジョブズ [Blu-ray]posted with amazlet at 14.02.23ポニーキャニオン (2014-06-03)売り上げランキング: 351Amazon.co.jpで詳細を見る

ラヴクラフト全集よりは読みやすかった気がする。 文庫本サイズでなく、B6サイズだからだろうか。 新編 真ク・リトル・リトル神話大系〈1〉posted with amazlet at 14.02.22H.P. ラヴクラフト 国書刊行会 売り上げランキング: 351,601Amazon.co.jpで詳細を見…

まあver1.0.0も出たので後で読む＾＾；mruby安定版V1.0.0 バージョン管理ツールを使いDebianパッケージを管理する Git編 Linuxカーネル開発者予備軍のためのGit Howto git-buildpackage を用いた debian パッケージのソースコード管理 - metalglue

はい、Ruby関西10周年ってことで、Ruby関西のお誕生日が判明した勉強会でした。 第59回 Ruby/Rails勉強会＠関西 2014年1月25日(土) お仕事でgitlab構築してみました(仮) お仕事でgitlab構築してみました(仮) お仕事でgitlab構築してみたいですね(仮) お仕事…

人様の作ったplaybookバクって自動化 (ﾟдﾟ)ｳﾏｰ、ってしたいんですけど 最初の一歩がダメダメです*1こちらのGitLab用playbookを使って % ansible-playbook site.yml -i hosts -k を実行してみるも"msg: You need to be root to perform this command."っとイ…

本記事は、mruby Advent Calendar 2013の22日目（震え声）の記事です。 mrubyのdebianパッケージビルド方法について説明します。 パッケージ作成の参考 本記事は、巷に溢れるdebianの既存パッケージのビルド方法についての説明となります。 パッケージを一か…