Memo

Topics へ

math plugin の利用例:

mathjax の利用例:

$a^2+b^2=c^2$

\[ \sum_{i=1}^{n} x_{i} = \int_{0}^{1} f \]

$亜_{1} + 微^3 = 志$

$$S(f)(t)=a_{0}+\sum_{n=1}^{\infty} a_{n}\cos(n \omega t)+b_{n} \sin(n \omega t)$$

• PMsat
• Dokan
• Webalizer
• ソフトウェアは硬い

ワイススキー場は, 今はホワイトアイルNISEKOとなっているようだ.

• http://www.niseko-weiss.co.jp/

• THE ISO 7185 STANDARD PASCAL PAGE
• Pascal S

• emacs 版
  • simplenote2.el
    • request-deferred, deferred が必要
    • emacs-request (request, request-deferred)
    • emacs-deferred (deferred)
    • deferred.elでHTTP通信を非同期化する
• windows client
  • ResophNotes

• API 公開される (2015-05-27)
• developer

• Qmail-Scanner (sourceforge)
• Qmail-Scanner FAQ
• qmail-scanner-2.11st (st patch)
• The updated qmailrocsk.org qmail Installation guide for Debian 7 (Wheezy)
• Install qmail-scanner
• QmailScanner (momo-i)

• ダメな科学を見分ける大まかな指針

• dpkt

• 会員サポート

• ID やパスワード、メールアドレスの概要
• ID やパスワード、メールアドレスがわからない
• ユーザーID 確認、ユーザーIDパスワード再設定の方法 (電話発信による本人認証)

• メールアドレス変更サービス
• メールの設定確認方法
• メール転送サービス

• Download

• http://owncloud.org/
• Download
  • server
  • client
• Update
  • 一度ブラウザからサーバーにアクセスする必要あり

• https://spideroak.com/
• Download
• Facebook
• Twitter

• free.arinco.org での説明
• Dropbox から SpiderOak へ移行する

• Linux 未対応
• Linux環境でOneDriveの同期が可能な「onedrive-d」(wine不使用)
• ubuntuでOneDrive(旧SkyDrive)を使う

• linux 未対応
• An Official Google Drive for Linux is Here, Sort Of — Maybe This Is All We’ll Ever Get

• linux 未対応
• SugarSyncをLinuxで動かす
  • Wine で Windows Client を動かす

• Compose key (Wikipedia)
• Improving my keyboard input on Debian GNU/Linux
• Keyboard configuration in Xorg
• Unicode For Mathematical Typesetting
  • ===== Gtk Settings ===== * [[https://developer.gnome.org/gtk3/unstable/GtkSettings.html|GtkSettings

• Acrobat / 証明書による PDF の保護
• Self-Sign デジタル証明書の作成
• PDF 文書への署名
• 署名の検証
• Self-Sign 証明書の取り込み

• ProVerif: Cryptographic protocol verifier in the formal model

• http://download.ebz.epson.net/dsc/search/01/search/
• dpkg -i iscan-data_xxxx.deb iscan-data_xxxxltdl7_ARC.deb
• add USER to group scanner

• 2007年06月19日 Becky!＋秀丸でメールからデータをまとめる方法
  • 『Becky!』にはメールをテキストファイルとして保存するエクスポート機能があります。
  • たとえば、5月分のメールすべてを、テキストファイル（UNIX mbox形式）にまとめてエクスポートしてしまいます。
• Thunderbird 17でmbox形式のメールバックアップをインポートする方法

Bekky に imap の設定を行ない gmail などに転送する

• メールをGmailに日付を含めて完全移行する７つのステップ

• IVS (モリサワ)

• DTMニュース.jp

• Ardour Community
• Ardour (wikipedia)

• Wikipedia
• https://pogoplug.com/

ぐれごりおで荢毛健作さんに聞く.

* 銀に見えるのはパラジウム, 酸化しにくい * 金 700度 液体だけ蒸発

• LTE エントリー (Club Panasonic)

• 「Vagrant」って何ぞ？ (@IT)
• Google 検索 Vagrant

• 「はじめてのOSコードリーディング」という本を出版します
• PDP-11 Emulator implemented with JavaScript

• 名前ベースのバーチャルホスト

• nixnote
• nevernote
• everpad

Acrobat を利用して PDF ファイルの認証を行なうことができる.

認証の確認は Adobe Reader でも可能.

• 作成者側
  • 証明書の作成
  • PDF 文書の認証
• 確認者側
  • 証明書を登録
  • 証明済み PDF 文書をチェック

• 編集メニュー > 環境設定
  • 右側の「ID と信頼済み証明書」の「詳細」ボタンをクリック
  • デジタルID を追加 Window で「今すぐデジタル ID を作成」を選択, 「次へ」.
  • Self-Sign デジタル ID をどこに格納しますか?
    • どちらかを選択して「次へ」
  • 情報を入力

• 登録すべき証明書ファイルを開く
• 連絡先設定を取り込み
• 必要なら「証明書の詳細」ボタンをクリックして証明書の内容を確認
• 「この証明書を信頼済みのルートとして使用」をチェック
• 「証明済み文書」をチェック
• 「OK」をクリック
• 「OK」をクリック

• ROSE compiler infrastructure
• ROSE Compiler Framwork/VM
• Account/Password: demo/password

• Feature Model (Wikipedia)

• Windows と GPT に関する FAQ (Microsoft)

• Mutt fork
• mutt with notmuch support and another improvements...
• Debian’s mutt with notmuch support

• PDF電子署名入門
• とろろこんぶシステム工房
• 公的個人認証サービス
• 自分できる会社設立 - 個人認証
• ACR1251U
• 株式会社設立｜初めての人でも１週間で会社を作り起業する為の全手順
• [Acrobat Help] 電子印鑑を使って文書を承認するには
• PDFに画面上で電子印鑑を押したい場合は
• 白舟書体
• 京印章シーオージェイピー
• PDFにスタンプ（ハンコ）を押す (Adobe)
• PDF への署名 (Adobe)

• 画像加工サイト
• http://www.photofunia.com/

http://www.symantec.com/connect/articles/hardening-tcpip-stack-syn-attacks

V2 でないAR260Sについて

• SNAT を構成してはまった.
• NAT プールを作成
• Obound アクセスの設定では「NAT」の欄にはNATプールから選択
• Inbound アクセスの設定では「NAT」の欄には IPアドレスを書く
  • NATプールから選択すると AR260S にパケット跳ねられる

• 丹沢のヤマビル事情
• ヤマビル研究会
• ヤマビルにご注意を！(神奈川県)
• 丹沢大山 三峰山(ヒルと格闘！成功編)

• macのためのmixiバックアップ
• adiary official website
• mixi_export.lzh
• manual

http://plato.stanford.edu/entries/logic-paraconsistent/

https://gist.github.com/j3tm0t0/4034720

• らじるらじる

• rec_radiko.sh (本家 saiten)
  • swftools, libxml2-utils 必要
  • Jessie ではエラーがでる
• rec_radiko.sh (folk by j3tm0t0)
• rec_radiko.sh (folk by s2k7)
  • swftools 必要

• [debian-users:56316]
• ./radiko_rec.sh TBS
• ./radiko_rec.sh HOUSOU-DAIGAKU 放送大学-x.flv

• Exporter (perldoc)
• レガシーなperlスクリプトをuse strict対応するのに便利なExporterの使い方

passwd -e

• -e, –expire
  • Immediately expire an account's password. This in effect can force a user to change his/her password at the user's next login.

• LongLinesJpMode

• Toshiba Satellite P850: RTS5229 SD card reader not working

• dropbox などをセキュアに使う
• BoxCryptor
• BoxCryptorを使ってみた　「Dropboxをセキュアに使用する方法」の続き
• BoxCryptor　DropboxやGoogledriveのファイルを暗号化

ブロック図生成ツール blockdiag

• http://blockdiag.com/ja/index.html
• blockdiag
• Excel 方眼紙撲滅委員会 活動報告 2012.11 #odstudy (slideshare)

• How to turn off Java on your browser - and why you should do it now (Sophos)
• ハウツー】 Java 7のセキュリティホール対策はこれだ! - WebブラウザのJavaプラグインを無効化すれば攻撃を予防できる (mynavi)

• tarpit
• greylist

• SSDoptimization (debian wiki)
• Linux SSD の設定

• LinuxサーバーにSSDを使うための情報メモ
• SSDに対するBlock Discard/TRIMをSystemTapで可視化する

iTunes 11.0.1.12 になって iPhone4 の同期ができなくなった. 「同期が開始するのを待っています」から進まない.

iPad は同期した. そこで, iPhone4 をリブートしてみた. すると同期が開始するようになった.

• SNSにおけるサービス連携に注意！ (IPA, 2012-10)

• http://www.nikkakyo.org/upload/plcenter/292_314.pdf

• 左サイドバーの表示
  • 表示 > サイドバーの表示

• クリマプラス100 コンパクト トラベルシューズ ( 品番 #1108004 )

• XV Jumbo Patches

• Trodat
  • http://www.trodat.net/en-US/
  • http://www.trodat-stamp.jp/
  • printy dater
• Shiny
  • http://www.shinystamp.com/
  • Mini Dater S-300

• 日米Kindleアカウントを結合しても購入ストアは自由に切り替えできます
• Kindle価格の謎を解く--ジョブズの伝記はなぜ値上がりし、また値下がりしたのか (CNET Japan)
• 備忘録 - Kindle Apps の amazon.co.jp 対応状況と .com との共存 (404 Blog Not Found)
• Kindle日本進出、しかしなあ (極東ブログ)
• Kindleで購入した電子書籍は、実はユーザーのものではない (Wired)
• Kindle Paperwhite買う前によく浮かびそうな疑問に答えておこう
• 速報！　日本上陸が決まったKindle Paperwhiteを超ていねいに解説してみた (excite news)
• アマゾンが日本向けKindle最新4モデルを予約開始、「無料3G通信付きで1万2980円」の衝撃 (ITpro)

• LUKS Mount How-to Guide For MS Windows

• TRUE CRYPT org
• TrueCrypt (wikipedia)
• TrueCryptで、Dropboxをもっと“セキュア”に使う
• TrueCrypt 7 Debian Packaging

• Encrypt devices using dm-crypt and LUKS
• LUKS を使って Linux と Windows の両方から読み書きできる暗号化ボリュームを作成する

• FreeOTFE

• The Ten Minute Guide to diff and patch
  • diff -u original.c new.c > original.patchand patch
  • diff -rupN original/ new/ > original.patch
  • patch -p5 -R < baz.patch

• ServersMan SIM 3G 100
• 光ポータブル

• bluetooth (squeeze + 3.2.0)
  • keyboad としては認識してくれる
  • ファイル転送はだめ
• USB での接続は問題ない
• http://ubuntu.asciimw.jp/elem/000/000/010/10377/

• NHTSA Toyota ページ
• NHTSA Press Release
• アイシン
• IPA 高橋レポート
  • MATLAB, Simulink, StateFlow, SystemTest

• rsync -avz –delete –link-dest=/path/to/previous-dir fromdir/ todir/
• link-dest の先は絶対 path でないとだめなようだ
• 何度繰り返しても大丈夫.
• rutoの日記： バックアップにrsync --link-destを使うと良い場合もあるよ
• rsync で pdumpfs みたいなことをする

• DNS Summer Days 2012 開催のお知らせ
• Togetter
  • 9/1
  • 9/1
  • 9/2
• DNS Summer Days 2012 togetterまとめからの感想

• DNS
  • DNSサービスへのドメイン登録時における不具合について (6/13,6/23)
  • 当社DNSに関するお知らせ (6/29)
  • サービス運用上の問題に起因するドメイン名ハイジャックの危険性について (JPRS 6/22)

• クラウド
  • 「さくらのクラウド」で続いていたストレージ障害、報告書をさくらインターネットが公開

• サーバー
  • サーバのバックアップ状況について各社問い合わ

• Ateler-B
• Event-B.org

• DNSの不適切な運用が生むドメインハイジャックの危険性について

Cross site request forgeries

• 開発者のための正しいCSRF対策

• http://boom.cs.berkeley.edu/
• http://www.bloom-lang.net/
• https://github.com/bloom-lang/bud

• 「大学生数学基本調査」に基づく数学教育への提言 (2011)

• orgmode.org
• Worg
• Org-mode による HTML 文書作成入門
• Org-Mode_で日本語_PDF_を出力できるようにする
• org-tree-slide
• org-s5
  • org-s5
  • s5 presentation from org-mode

• ブック40
• 大型裁断器・ペーパーカッター
• PK 513L

• LIAMA
• FORMES

• COMPCERT
• LLVM

• Virtual Prototyping Research
  • Control Flow Graph (LLVM from UIUC)
  • Intermidiate Language
• Coq/ConceptC
• MMU – Spec がまるで Formal でないので, 扱いが大変.

• Time Analysis において Cycle Accurate にきちんと把握しないといけない項目
  • Instruction Cache
  • Data Cache
  • Pipline Break
  • Variable ????

• http://openbox.org/wiki/Help:Contents#Cool_programs_to_run_with_Openbox
• Openbox に変えてみた

• 東大 FX10
• 京大
• 筑波 CCS

• grml -- Debian based Linux Live system

What is Grml?

Grml is a bootable live system (Live-CD) based on Debian. Grml includes a collection of GNU/Linux software especially for system administrators. Users don't have to install anything on fixed storage. Grml is especially well suited for administrative tasks like installation, deployment and system rescue

• http://itpro.nikkeibp.co.jp/article/COLUMN/20091102/339907/
• http://www.winsupersite.com/blog/supersite-blog-39/news2/clean-install-windows-7-with-upgrade-media-the-answer-138936

• 静的アドレス変換の記述を行った時は, そのポートをファイアウォール設定で開けておく必要がある.
• ファイアウォール設定を変更した時はリブートが必要

• Electronic Authentication Guideline (NIST SP-800-63-1)
• NIST SP-800-63-J

• Proof Check

• http://oku.edu.mie-u.ac.jp/~okumura/texfaq/qa/56365.html?utm_source=twitterfeed&utm_medium=twitter
• http://oku.edu.mie-u.ac.jp/~okumura/texfaq/qa/56366.html?utm_source=twitterfeed&utm_medium=twitter

• 加藤和彦 構造的プレゼンテーション
• こう言い換えろ→論文に死んでも書いてはいけない言葉３０
• 上記の「追記版」

• コア・JavaScript(JavaScript. The Core.)
• 詳細 ECMA-262-3 (1-6)
• ECMA-262 (Dmitry Soshnikov)
• Ecma International
• Emca International Publications
• XSS対策手法のひとつの提案
• 初心者のためのJavaScript講座

• http://www.linuxjournal.com/article/5462

• SSET5/事前演習 (リアルタイムOS, ハンドラ etc.)

• debian squeeze のマシンを DHCP/TFTP サーバーにして PXE ブートを行なおうとしてなかなかうまくいかなかった.
• dhcpd.conf の next-server の設定を IP アドレスにしたらうまくいった.
• man ページではホスト名の例が載っているので, 原因は他の所にあるのだろう.

• FOCUS ソフトウェア

• memo/LXC
• memo/KVM
• memo/Xen
• memo/OpenVZ

• スキャンブックス
• 田端印刷
• フェデックス キンコーズ

• Torque Resource Manager
  • 琉球大

• http://adventure.sys.t.u-tokyo.ac.jp/jp/

• Gamess
• RSS21
• OCTA ソフトマテリアル統合的シミュレーター
• Open CASCADE Technology, 3D modeling & numerical simulation (lenny 6.2-7, squeeze 6.3.0.dfsg.1-6)
• freeFEM.org (lenny 3.5.8-4.1, squeeze 3.5.8-4.2)
• CalculiX -- Software Three-Dimensional Sructural Finite Element Program
• ペンギンの杜 (有限要素法)

• ALLPATH-LG
• Trinity
• openmx (lenny/squeeze/wheezy 3.2.4.dfsg-3, sid 3.5-1)
• gromacs (lenny 3.3.3-2, squeeze 4.0.7-3, wheezy 4.5.4-2)
• ABINIT-MP -- Ab initio Fragment MO Method Program
• NAMD (http://www.ks.uiuc.edu/Research/namd/)

• OpenFOAM open source CFD

• Fusion

• http://unit.aist.go.jp/ispd/tsco/pt/pt001/

• 参加締切 8 月 22 日

• Checkpoint について
• MPI のプロセス移動について

• Official Website
• 日本 Python ユーザー会
• Wikipedia
• Pythonweb.jp
• Python Tutorial
• Python Module of the Week
• Python subprocess (karasuyamatengu)
• Working with python subprocess
• Pylon Book

• Wikipedia
• OpenCL

• Wikipedia
• Nvidia Cuda Zone

舞さんのキーボードが新しくなっていた. nord と stage というロゴが左右に見える.

• Nord 社 (JP)
• (米)
• Nord Stage EX
• Nord Stage 2

• http://www.event-b.org
• http://set.style.coocan.jp/wiki/

Distributed MultiThreaded CheckPointing

http://dmtcp.sourceforge.net/

Armed Bear Common Lisp (ABCL) - Common Lisp on the JVM

• http://common-lisp.net/project/armedbear/

• http://forza.cocolog-nifty.com/blog/2009/10/ltsa-14f8.html
• LTSA
• Tutorial 山本研
• まとめさいと

• http://www.foxitsoftware.com/japan/products/reader/reader.php

サーバーにログインして xpdf すると

X11 connection rejected because of wrong authentication.

とエラーがでる. 昨日まではなんともなかった. いろいろ調べた結果, quota over の所為だと判明. 手間どる.

solaris では chmod 2770 DIR はきかない. chmod 770 DIR; chmod g+s DIR としないといけない.

• Windows のネットワーク接続で
  • ISP: test
  • User: flets@flets
  • Password: flets

• http://en.wikipedia.org/wiki/Stephen_Toulmin
• http://www.unl.edu/speech/comm109/Toulmin/index.htm
• http://sky.ap.teacup.com/soccer-debate/14.html
• トゥールミンモデル
• 議論モデル

      dd if=/dev/urandom of=/dev/sdX bs=4M
      shred -uvs -n 7 /dev/sdX
      wipe -kqD /dev/sdX

qmailqueue patch 適用で QMAILQUEUE を参照しているプログラム

• qmail-inject
• qmail-local
• qmail-qmqpd
• qmail-qmtpd
• qmail-send
• qmail-smtpd

gcc と VC

• yices (SRL)
• SAL/yices

インストール済の PHP の環境をチェックするには

      <? phpinfo(); ?>

と一行だけ書いたファイル, 例えば “info.php” を作成して, アクセスする.

syslinux を用いて Linux を USB ブートして使っていたのだけど, Lenovo の x60 と X200 では OS が見つからないといってうまく動かない.

-s option を付けて syslinux をインストールすると起動した (ただし, 非常に読み込みが遅い)

squeeze の syslinux は問題ない. ただし, Windows からインストールしないと起動しなかった.

Debian Lenny のマシンを久しぶりに upgrade したら mpg123 が動かなくなった.

いろいろ調べて libltdl3 が更新された為であった.

http://git.savannah.gnu.org/cgit/libtool.git/commit/?id=e91f7b960032074a55fc91273c1917e3082b5338

を参考にして src/module.c の中で lt_dlopen に渡される module_path の先頭に “./” を付けくわえることで動くようになった.

• http://blog.c--v.net/2008/08/09/1
• ウィンドウ > 変換 > 文字コードの設定

From: の書きかえでちょっと手間取ってしまっ.

wl-draft-config-alist は, default では, すべてのマッチしたパターンが適用され, From: 書きかえの場合, 最後のパターンが適用される.

ちゃんとマニュアルを見ないといけない.

• Verimag
  • Synchronous Group
  • Lurette

http://www.cyrius.com/debian/

http://www.qnap.com/

http://www.y2c.co.jp/cnv/cnv_rs232.html

http://jp.rs-online.com/web/search/searchBrowseAction.html?method=getProduct&R=0429307

http://ftdichip.com/Documents/DataSheets/Modules/DS_TTL-232R_CABLES_V201.pdf

• http://diamondpilots.blogspot.com/2009/08/l26-hesperia-airport-cessna-152-crash.html

• http://www.vvdailypress.com/articles/hesperia-14124-made-attempts.html

• http://www.flightlevel350.com/forum/index.php?showtopic=13632

http://www.iodata.jp/lib/product/w/1215.htm

• T2K
• 京大
• 東大
• 筑波 (てびき)
• 東工大つばめ

計算センターの スーパーコンピュータのメモリ

• http://www.sgi.co.jp/products/altix/index.html
• http://www.sgi.co.jp/products/altix/uv.html (x86_64, 16TB)

• http://h50146.www5.hp.com/products/servers/integrity/superdome2/ (4TB)
• http://h50146.www5.hp.com/products/servers/integrity/superdome/ (2TB)

• http://www.oracle.com/us/products/servers-storage/servers/x86/x4800-m2-server-403762.html (x86_64, 2TB)
• http://www.oracle.com/jp/products/servers-storage/servers/sparc-enterprise/031587-ja.html (sparc, 4TB)

 (echo p;echo n;echo p;echo 1;echo;echo;echo p;echo w) | sudo fdisk /dev/sdf

a010 で試す

• dd if=/dev/X bs=BS | PROG -c > /mnt/XX.xx
• scp -p /mnt/XX.xx admin@s031:/tmp
• PROG -dc < /mnt/XX.xx | dd of=/dev/X bs=BS

login 画面でユーザ名やパスワード等が入力できないときは, 別のウィンドウでキー入力を行なってから, login 画面にもどればよい.

remote desktop のポート

  3389

192.168.24.64/27,192.168.24.242,192.168.24.95

Pubkey Authentication は

   $HOME, $HOME/.ssh の permission が go-w
   $HOME/.ssh/authorized_keys の permission が go-wrx

でないといけない．それぞれ 700, 600 にしておくのが無難．

手に入れたので Lenny のマシンでトライした. Lenny の 2.6.26 の kernel では動かず, backports.org の 2.6.30 にして使えるようになった.

• Ubuntu で WiLLCOM CORE 3G

• Panasonic Let's Note CF-R4 に Debian をインストール

• Ubuntu で b-mobile 3G

• b-mobile3G Mac で利用する方法

env http_proxy=http://PROXY_SERVER:PORT/ w3m http://debian/debian
env http_proxy=http://PROXY_SERVER:PORT/ wget http://debian/debian/README

openssl passwd 'PASSWORD'      # crypt
openssl passwd -1 'PASSWORD'   # md5

• http://takagi-hiromitsu.jp/diary/20081221.html

より

• StarCom http://www.startcom.org/

Class 1 なら無料．暗号強度も十分．Firefox, Safari でしか使えない．

shutdown -r -t 秒

FreeBSD

• mount -t ufs -o ufstype=ufs2,ro /dev/sda4 /mnt

NetBSD 他

• mount -t ufs -o ufstype=44bsd,ro /dev/sda4 /mnt

一乗寺 - 池田は, 阪急十三経由が最短

• Class を使う例. ただし, Class は最後に定義したものしか有効でない. (BUG?)

<Class friends>
  From 192.168.0.0/24
</Class>

<IfUser hoge>
  <Limit LOGIN>
    AllowClass friends
    DenyAll
  </Limit>
</IfUser>

• 単純に Allow を使う例

<IfUser hoge>
  <Limit LOGIN>
     Order allow,deny
     Allow From 192.168.0.0/24
     Deny from all
  </Limit>
</IfUser>

<IfUser hoge-hoge>
  <Limit LOGIN>
     Order allow,deny
     Allow From 192.168.0.0/24,192.168.1.0/24
     Deny from all
  </Limit>
</IfUser>

http://yamada-no-kakashi.blogspot.com/

笠井トレーディング ワイドビノ28 http://www.astroarts.co.jp/review/2007/10/index-j.shtml

• http://www.suien.ne.jp/haiku/
• http://uraaozora.jpn.org/index6.html

• 中村汀女 http://www.suien.net/teijyo/
• 星野立子 http://www.suien.net/tatuko/
• 三橋鷹女 http://www.suien.net/takajyo/
• 橋本多佳子 http://www.suien.net/takako/
• 杉田久女 http://www.suien.net/hisajyo/

ssh -X -L 3389:WinHost:3389 localhost
rdesktop localhost

組込みシステム技術連携研究体

略称 組込み連携拠点 Collaborative Research Team for Verification (CFV)

{{blog>[namespace]?[number]&[flags]}}
   firstseconly = fullpage | firstseconly
   showfooter = footer | nofooter
   showeditbtn = editbtn | noeditbtn
   - 	         = - | noheader

{{archive>[namespace]?[month]&[flags]}}

{{page>[id]#[section]&[flags]}}
{{section>[id]#[section]&[flags]}}