====== Memo ====== {{page>:memo:tabs}} [[memo:tabs|Topics へ]] math plugin の利用例: S(f)(t)=a_{0}+sum{n=1}{+infty}{a_{n} cos(n omega t)+b_{n} sin(n omega t)} 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)$$ * [[http://algos.inesc-id.pt/algos/software.php?soft=2|PMsat]] * [[http://dokan-dev.net/|Dokan]] * [[http://www.mrunix.net/webalizer/|Webalizer]] * [[http://techon.nikkeibp.co.jp/article/FEATURE/20090204/165183/|ソフトウェアは硬い]] ===== ワイス ===== ワイススキー場は, 今はホワイトアイルNISEKOとなっているようだ. * [[http://www.niseko-weiss.co.jp/]] ===== Pascal ===== * [[http://www.moorecad.com/standardpascal/|THE ISO 7185 STANDARD PASCAL PAGE ]] * [[http://www.moorecad.com/standardpascal/pascals.html|Pascal S]] ===== simplenote ===== * emacs 版 * [[https://github.com/alpha22jp/simplenote2.el|simplenote2.el]] * request-deferred, deferred が必要 * [[https://github.com/tkf/emacs-request|emacs-request (request, request-deferred)]] * [[https://github.com/kiwanami/emacs-deferred|emacs-deferred (deferred)]] * [[http://qiita.com/alpha22jp/items/c4217f7c8f0d8225fe22|deferred.elでHTTP通信を非同期化する]] * windows client * [[http://resoph.com/ResophNotes/Welcome.html|ResophNotes]] ===== wunderlist ===== * API 公開される (2015-05-27) * [[https://developer.wunderlist.com/|developer]] ===== qmail-scanner ===== * [[http://www.necat.co.jp/wimax/support/uqc/nad11/|Qmail-Scanner (sourceforge)]] * [[http://qmail-scanner.sourceforge.net/FAQ.php|Qmail-Scanner FAQ]] * [[http://toribio.apollinare.org/qmail-scanner/|qmail-scanner-2.11st (st patch)]] * [[http://qmailrocks.thibs.com/|The updated qmailrocsk.org qmail Installation guide for Debian 7 (Wheezy)]] * [[http://qmailrocks.thibs.com/qmail-scanner.php|Install qmail-scanner]] * [[http://www.momo-i.org/chapter4/qmail-scanner.html|QmailScanner (momo-i)]] ===== 科学 ===== * {{:memo:bad-science.png?linkonly|ダメな科学を見分ける大まかな指針}} ===== dpkt ===== * [[http://code.google.com/p/dpkt/|dpkt]] ===== So-net ===== * [[http://faq.so-net.ne.jp/|会員サポート]] ==== User ID ==== * [[http://faq.so-net.ne.jp/app/answers/detail/a_id/887|ID やパスワード、メールアドレスの概要]] * [[http://faq.so-net.ne.jp/app/answers/detail/a_id/883|ID やパスワード、メールアドレスがわからない]] * [[http://faq.so-net.ne.jp/app/answers/detail/a_id/3254|ユーザーID 確認、ユーザーIDパスワード再設定の方法 (電話発信による本人認証)]] ==== Mail ==== * [[http://www.so-net.ne.jp/option/mail/mailchg/|メールアドレス変更サービス]] * [[http://faq.so-net.ne.jp/app/answers/detail/a_id/2064|メールの設定確認方法]] * [[http://www.so-net.ne.jp/flter/|メール転送サービス]] ===== Cloud Strage ===== ==== DropBox ==== * [[https://www.dropbox.com/ja/install|Download]] ==== ownCloud ==== * http://owncloud.org/ * Download * [[https://software.opensuse.org/download/package?project=isv:ownCloud:community&package=owncloud|server]] * [[https://software.opensuse.org/download/package?project=isv:ownCloud:desktop&package=owncloud-client|client]] * Update * 一度ブラウザからサーバーにアクセスする必要あり ==== SpiderOak ==== * https://spideroak.com/ * [[https://spideroak.com/opendownload/|Download]] * [[https://www.facebook.com/SpiderOak|Facebook]] * [[https://twitter.com/spideroak|Twitter]] * [[http://free.arinco.org/storage/spideroak/|free.arinco.org での説明]] * [[http://blog.segu.jp/2012/05/dropbox-spideroak.html|Dropbox から SpiderOak へ移行する]] ==== OneDrive (MS) ==== * Linux 未対応 * [[http://natto.usamimi.info/?p=695|Linux環境でOneDriveの同期が可能な「onedrive-d」(wine不使用)]] * [[http://kokawa2003.blogspot.jp/2014/07/ubuntuonedriveskydrive.html|ubuntuでOneDrive(旧SkyDrive)を使う ]] ==== Google Drive ==== * linux 未対応 * [[http://www.howtogeek.com/196635/an-official-google-drive-for-linux-is-here-sort-of-maybe-this-is-all-well-ever-get/|An Official Google Drive for Linux is Here, Sort Of — Maybe This Is All We’ll Ever Get]] ==== SugarSync (Dell) ==== * linux 未対応 * [[https://fieldnets.wordpress.com/2011/04/11/sugarsyncをlinuxで動かす/|SugarSyncをLinuxで動かす]] * Wine で Windows Client を動かす ===== Xcompose ===== * [[http://en.wikipedia.org/wiki/Compose_key|Compose key (Wikipedia)]] * [[http://canonical.org/~kragen/setting-up-keyboard.html|Improving my keyboard input on Debian GNU/Linux]] * [[https://wiki.archlinux.org/index.php/Keyboard_configuration_in_Xorg#Configuring_compose_key|Keyboard configuration in Xorg]] * [[https://christopherolah.wordpress.com/2011/03/29/unicode-for-mathematical-typesetting/|Unicode For Mathematical Typesetting]] * [[https://github.com/kragen/xcompose| ===== Gtk Settings ===== * [[https://developer.gnome.org/gtk3/unstable/GtkSettings.html|GtkSettings]] ===== PDF のデジタル署名 ===== * [[http://help.adobe.com/ja_JP/acrobat/using/WS58a04a822e3e50102bd615109794195ff-7d8b.w.html|Acrobat / 証明書による PDF の保護]] * Self-Sign デジタル証明書の作成 * PDF 文書への署名 * 署名の検証 * Self-Sign 証明書の取り込み ===== KeyCode ===== ==== HHKB Pro ==== |Key | \ | ~ |L◇|R◇ |LAlt|RAlt| |Code|51 |49 |100|102|108 |64 | |FN | | |136| | | | ==== Let's Note ==== |Key | ~ | \ | _ | ] |半全||Win|LAlt|無変換||変換|ひら|目|RCtl| |Code|21 |132|97 | 51 |49 ||133| 64 | 102 ||100|101|135|105| ===== ProVerif ===== * [[http://prosecco.gforge.inria.fr/personal/bblanche/proverif/|ProVerif: Cryptographic protocol verifier in the formal model]] ===== GT-9800F を debian で ===== * 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 ===== Bekky のメールの移行 ===== ==== Unix Mbox ==== * [[http://directorblog.jp/archives/50700737.html|2007年06月19日 Becky!+秀丸でメールからデータをまとめる方法]] * 『Becky!』にはメールをテキストファイルとして保存するエクスポート機能があります。 * たとえば、5月分のメールすべてを、テキストファイル(UNIX mbox形式)にまとめてエクスポートしてしまいます。 * [[http://www.sukicomi.net/2013/05/thunderbird-importexporttools.html|Thunderbird 17でmbox形式のメールバックアップをインポートする方法]] ==== IMAP ==== Bekky に imap の設定を行ない gmail などに転送する * [[http://blogs.itmedia.co.jp/takewave/2011/07/gmail-f67d.html|メールをGmailに日付を含めて完全移行する7つのステップ]] ===== Font ===== * [[http://www.morisawa.co.jp/font/about/knowledge/ivs/|IVS (モリサワ)]] ===== DTM ===== * [[http://dtmnews.snapmix.jp/|DTMニュース.jp]] ==== Ardour ==== * [[http://community.ardour.org/|Ardour Community]] * [[http://ja.wikipedia.org/wiki/Ardour|Ardour (wikipedia)]] ===== pogoplug ===== * [[http://ja.wikipedia.org/wiki/Pogoplug|Wikipedia]] * [[https://pogoplug.com/]] ===== 金・銀絵付け ===== ぐれごりおで荢毛健作さんに聞く. * 銀に見えるのはパラジウム, 酸化しにくい * 金 700度 液体だけ蒸発 ===== Wifi ===== * [[http://ec-club.panasonic.jp/mall/sense/open/mvno/price/lte_entry.html|LTE エントリー (Club Panasonic)]] ===== Vagrant ===== * [[http://www.atmarkit.co.jp/ait/articles/1307/22/news076.html|「Vagrant」って何ぞ? (@IT)]] * [[https://www.google.co.jp/#q=Vagrant|Google 検索 Vagrant]] ===== PDP-11, Unix-V6 ===== * [[http://d.hatena.ne.jp/takahirox/20121214/1355490840|「はじめてのOSコードリーディング」という本を出版します]] * [[https://pdp11-js.googlecode.com/git/unixv6.html|PDP-11 Emulator implemented with JavaScript]] ===== Appache ===== * [[http://httpd.apache.org/docs/current/ja/vhosts/name-based.html|名前ベースのバーチャルホスト]] ===== Evernote ===== ==== Linux Client ==== * [[http://sourceforge.jp/projects/sfnet_nevernote/|nixnote]] * [[http://nevernote.sourceforge.net/|nevernote]] * [[https://github.com/nvbn/everpad/wiki/how-to-install|everpad]] ===== Acrobat を利用した PDF ファイルの認証 ===== Acrobat を利用して PDF ファイルの認証を行なうことができる. 認証の確認は Adobe Reader でも可能. * 作成者側 * 証明書の作成 * PDF 文書の認証 * 確認者側 * 証明書を登録 * 証明済み PDF 文書をチェック ==== 証明書の作成 ==== * 編集メニュー > 環境設定 * 右側の「ID と信頼済み証明書」の「詳細」ボタンをクリック * デジタルID を追加 Window で「今すぐデジタル ID を作成」を選択, 「次へ」. * Self-Sign デジタル ID をどこに格納しますか? * どちらかを選択して「次へ」 * 情報を入力 ==== PDF 文書の認証 ==== ==== 証明書の登録 ==== * 登録すべき証明書ファイルを開く * 連絡先設定を取り込み * 必要なら「証明書の詳細」ボタンをクリックして証明書の内容を確認 * 「この証明書を信頼済みのルートとして使用」をチェック * 「証明済み文書」をチェック * 「OK」をクリック * 「OK」をクリック ==== 証明済み PDF 文書のチェック ==== ===== ROSE ===== * [[http://rosecompiler.org/|ROSE compiler infrastructure]] * [[http://en.wikibooks.org/wiki/ROSE_Compiler_Framework/Virtual_Machine_Image|ROSE Compiler Framwork/VM]] * Account/Password: demo/password ===== Feature Model ===== * [[http://en.wikipedia.org/wiki/Feature_model|Feature Model (Wikipedia)]] ===== GPT/EFI/Safe Boot ===== * [[http://msdn.microsoft.com/ja-jp/library/windows/hardware/gg463525.aspx|Windows と GPT に関する FAQ (Microsoft)]] ===== mutt-kz ===== * [[http://karelzak.blogspot.jp/2012/04/mutt-fork.html|Mutt fork]] * [[https://github.com/karelzak/mutt-kz|mutt with notmuch support and another improvements...]] * [[http://blogs.igalia.com/vjaquez/2012/02/26/debians-mutt-with-notmuch-support/|Debian’s mutt with notmuch support]] ===== 電子署名・電子はんこ ===== * [[http://www.antenna.co.jp/PDF/reference/PDFSingature.html|PDF電子署名入門]] * [[http://www.tororokonbu.jp/|とろろこんぶシステム工房]] * [[http://www.jpki.go.jp/|公的個人認証サービス]] * [[http://kaisya-tsukuro.net/kabushikinavi/ninsyo.html|自分できる会社設立 - 個人認証]] * [[http://www.cfcompany.jp/shopdetail/001000000003/|ACR1251U]] * [[http://inqup.com/how-to-start-company|株式会社設立|初めての人でも1週間で会社を作り起業する為の全手順]] * [[http://helpx.adobe.com/jp/acrobat/kb/225693.html|[Acrobat Help] 電子印鑑を使って文書を承認するには]] * [[http://bizmakoto.jp/bizid/articles/1306/17/news007.html|PDFに画面上で電子印鑑を押したい場合は]] * [[http://www.hakusyu.com/|白舟書体]] * [[http://www.kyoinsho.co.jp/d_insho/|京印章シーオージェイピー]] * [[http://www.adobe.com/jp/joc/a9guide/tips/hensyu/page05.html|PDFにスタンプ(ハンコ)を押す (Adobe)]] * [[http://help.adobe.com/ja_JP/acrobat/standard/using/WSAC8084C2-14F7-4841-9EF8-92106D22C3DB.w.html|PDF への署名 (Adobe)]] ===== PhotoFunia ===== * 画像加工サイト * http://www.photofunia.com/ ===== Syn attack ===== http://www.symantec.com/connect/articles/hardening-tcpip-stack-syn-attacks ===== AR260S ===== V2 でないAR260Sについて * SNAT を構成してはまった. * NAT プールを作成 * Obound アクセスの設定では「NAT」の欄にはNATプールから選択 * Inbound アクセスの設定では「NAT」の欄には IPアドレスを書く * NATプールから選択すると AR260S にパケット跳ねられる ===== ヤマビル ===== * [[http://ameblo.jp/diet-tozan/entry-11113637483.html|丹沢のヤマビル事情]] * [[http://www.tele.co.jp/ui/leech/index.htm|ヤマビル研究会]] * [[http://www.pref.kanagawa.jp/cnt/f986/p10106.html|ヤマビルにご注意を!(神奈川県)]] * [[http://blog.goo.ne.jp/u-hitopin/e/73502a198a57e65533af7a9b1366090a|丹沢大山 三峰山(ヒルと格闘!成功編)]] ===== Mixi Backup ===== * [[http://togetter.com/li/78263|macのためのmixiバックアップ]] * [[http://adiary.org/download.html|adiary official website]] * [[http://adiary.org/download/tools/mixi_export.lzh|mixi_export.lzh]] * [[http://adiary.org/download/tools/mixi_export.html|manual]] ===== Paraconsistent Logic ===== http://plato.stanford.edu/entries/logic-paraconsistent/ ===== rtmpdump ===== ==== らじるらじる ==== https://gist.github.com/j3tm0t0/4034720 * [[https://gist.github.com/saiten/1185755|らじるらじる]] ==== radiko ==== * [[https://gist.github.com/saiten/875864|rec_radiko.sh (本家 saiten)]] * swftools, libxml2-utils 必要 * Jessie ではエラーがでる * [[https://gist.github.com/j3tm0t0/4034720|rec_radiko.sh (folk by j3tm0t0)]] * [[https://gist.github.com/s2k7/2595755|rec_radiko.sh (folk by s2k7)]] * swftools 必要 ==== debian ==== * [debian-users:56316] * ./radiko_rec.sh TBS * ./radiko_rec.sh HOUSOU-DAIGAKU 放送大学-x.flv ===== Exporter (perl) ===== * [[http://perldoc.perl.org/Exporter.html|Exporter (perldoc)]] * [[http://d.hatena.ne.jp/stealthinu/20130228|レガシーなperlスクリプトをuse strict対応するのに便利なExporterの使い方]] ===== passwd ===== ''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. ===== Long Lines Jp Mode (emacs) ===== * [[http://www.emacswiki.org/LongLinesJpMode|LongLinesJpMode]] ===== Realteak RTS5529 SD Card Reader ===== * [[http://vincentlycheng.wordpress.com/2012/10/08/toshiba-satellite-p850-rts5229-sd-card-reader-not-working/|Toshiba Satellite P850: RTS5229 SD card reader not working]] ===== BoxCryptor ===== * dropbox などをセキュアに使う * [[https://www.boxcryptor.com/|BoxCryptor]] * [[http://gakira.hatenablog.com/entry/20120612/1339480033|BoxCryptorを使ってみた 「Dropboxをセキュアに使用する方法」の続き]] * [[http://d.hatena.ne.jp/rascal2001/20121013/1350088201|BoxCryptor DropboxやGoogledriveのファイルを暗号化]] ===== blockdiag ===== ブロック図生成ツール blockdiag * http://blockdiag.com/ja/index.html * [[http://blockdiag.com/ja/blockdiag/|blockdiag]] * [[http://www.slideshare.net/TakeshiKomiya/excel-201211-odstudy|Excel 方眼紙撲滅委員会 活動報告 2012.11 #odstudy (slideshare)]] ===== Java Plugin の無効化 ===== * [[http://nakedsecurity.sophos.com/2012/08/30/how-turn-off-java-browser/|How to turn off Java on your browser - and why you should do it now (Sophos)]] * [[http://news.mynavi.jp/articles/2013/01/15/java7/|ハウツー】 Java 7のセキュリティホール対策はこれだ! - WebブラウザのJavaプラグインを無効化すれば攻撃を予防できる (mynavi)]] ===== Spam 対策 ===== * tarpit * greylist ===== SSD on Linux ===== * [[http://wiki.debian.org/SSDoptimization|SSDoptimization (debian wiki)]] * [[http://cyberbaba.blog57.fc2.com/blog-entry-252.html|Linux SSD の設定]] * [[http://oopsops.hatenablog.com/entry/2012/05/24/164941|LinuxサーバーにSSDを使うための情報メモ]] * [[http://d.hatena.ne.jp/sh2/20110123|SSDに対するBlock Discard/TRIMをSystemTapで可視化する]] ===== iTunes 11.0.1.12 ===== iTunes 11.0.1.12 になって iPhone4 の同期ができなくなった. 「同期が開始するのを待っています」から進まない. iPad は同期した. そこで, iPhone4 をリブートしてみた. すると同期が開始するようになった. ===== お知らせ ===== * [[http://www.ipa.go.jp/security/txt/2012/10outline.html|SNSにおけるサービス連携に注意! (IPA, 2012-10)]] ===== アルカリ性洗剤で化学やけど! ===== * http://www.nikkakyo.org/upload/plcenter/292_314.pdf ===== iTunes 11 ===== * 左サイドバーの表示 * 表示 > サイドバーの表示 ===== 防寒ソックス ===== * [[http://webshop.montbell.jp/goods/disp.php?product_id=1108004|クリマプラス100 コンパクト トラベルシューズ ( 品番 #1108004 )]] ===== XV ===== * [[http://sonic.net/~roelofs/greg_xv.html|XV Jumbo Patches]] ===== Stamp ===== * Trodat * http://www.trodat.net/en-US/ * http://www.trodat-stamp.jp/ * [[http://www.trodat.net/en-US/Products/at-home-and-on-the-move/original-printy/models-sizes/date-text/Pages/date-with-text.aspx|printy dater]] * Shiny * http://www.shinystamp.com/ * Mini Dater S-300 ===== kindle ===== * [[http://ebook.itmedia.co.jp/ebook/articles/1211/06/news012.html|日米Kindleアカウントを結合しても購入ストアは自由に切り替えできます]] * [[http://japan.cnet.com/sp/ebook/35023741/|Kindle価格の謎を解く--ジョブズの伝記はなぜ値上がりし、また値下がりしたのか (CNET Japan)]] * [[http://blog.livedoor.jp/dankogai/archives/51832454.html|備忘録 - Kindle Apps の amazon.co.jp 対応状況と .com との共存 (404 Blog Not Found)]] * [[http://finalvent.cocolog-nifty.com/fareastblog/2012/10/kindle-abd1.html|Kindle日本進出、しかしなあ (極東ブログ)]] * [[http://wired.jp/2012/10/25/amazons-remote-wipe-of-customers-kindle-highlights-perils-of-drm/|Kindleで購入した電子書籍は、実はユーザーのものではない (Wired)]] * [[http://www.hageatama.org/wp/1405|Kindle Paperwhite買う前によく浮かびそうな疑問に答えておこう]] * [[http://www.excite.co.jp/News/reviewgadget/20121025/E1351093201399.html|速報! 日本上陸が決まったKindle Paperwhiteを超ていねいに解説してみた (excite news)]] * [[http://itpro.nikkeibp.co.jp/article/NEWS/20121024/432272/?ml|アマゾンが日本向けKindle最新4モデルを予約開始、「無料3G通信付きで1万2980円」の衝撃 (ITpro)]] ===== Luks/FreeOTFS ===== * [[http://www.aerospacesoftware.com/howtos/LUKS-Mount-FreeOTFE.pdf|LUKS Mount How-to Guide For MS Windows]] ===== 暗号化 Linux/Windows ===== ==== True Crypt ==== * [[http://www.truecrypt.org/|TRUE CRYPT org]] * [[http://ja.wikipedia.org/wiki/TrueCrypt|TrueCrypt (wikipedia)]] * [[http://bizmakoto.jp/bizid/articles/0901/19/news024.html| TrueCryptで、Dropboxをもっと“セキュア”に使う]] * [[http://www.unchartedbackwaters.co.uk/pyblosxom/static/truecrypt_debian_packaging|TrueCrypt 7 Debian Packaging]] ==== Luks ==== * [[http://www.g-loaded.eu/2005/11/10/encrypt-devices-using-dm-crypt-and-luks/|Encrypt devices using dm-crypt and LUKS]] * [[http://hatuka.nezumi.nu/log/2008/12/luks_linux_wind.html|LUKS を使って Linux と Windows の両方から読み書きできる暗号化ボリュームを作成する]] ==== FreeOTFE ==== * [[http://www.freeotfe.org/|FreeOTFE]] ===== patch/diff ===== * [[http://jungels.net/articles/diff-patch-ten-minutes.html|The Ten Minute Guide to diff and patch]] * ''diff -u original.c new.c > original.patch''and patch * ''diff -rupN original/ new/ > original.patch'' * ''patch -p5 -R < baz.patch'' ===== Wifi ===== * [[http://dream.jp/mb/sim/|ServersMan SIM 3G 100 ]] * [[http://flets-w.com/wi-fi/portable/|光ポータブル]] ===== ポメラDM100 ===== * bluetooth (squeeze + 3.2.0) * keyboad としては認識してくれる * ファイル転送はだめ * USB での接続は問題ない * [[http://ubuntu.asciimw.jp/elem/000/000/010/10377/]] ===== トヨタ検証 ===== * [[http://www.nhtsa.gov/UA|NHTSA Toyota ページ]] * [[http://www.nhtsa.gov/PR/DOT-16-11|NHTSA Press Release]] * [[http://swest.toppers.jp/SWEST13/slide/swest13-S3-b.pdf|アイシン]] * [[http://sec.ipa.go.jp/events/2011/esec_02/0512_1100-1120.pdf|IPA 高橋レポート]] * MATLAB, Simulink, StateFlow, SystemTest ===== rsync --link-dest ===== * ''rsync -avz --delete --link-dest=/path/to/previous-dir fromdir/ todir/'' * link-dest の先は絶対 path でないとだめなようだ * 何度繰り返しても大丈夫. * [[http://slashdot.jp/~ruto/journal/362588|rutoの日記: バックアップにrsync --link-destを使うと良い場合もあるよ]] * [[http://d.hatena.ne.jp/dayflower/20090513/1242194477|rsync で pdumpfs みたいなことをする]] ===== DNS Summer Days 2012 ===== * [[http://www.dnsops.jp/event20120831.html|DNS Summer Days 2012 開催のお知らせ]] * Togetter * [[http://togetter.com/li/365555|9/1]] * [[http://togetter.com/li/365750|9/1]] * [[http://togetter.com/li/365620|9/2]] * [[http://causeless.seesaa.net/article/289752013.html|DNS Summer Days 2012 togetterまとめからの感想]] ===== さくら ===== * DNS * [[http://support.sakura.ad.jp/mainte/newsentry.php?id=7613|DNSサービスへのドメイン登録時における不具合について (6/13,6/23)]] * [[http://www.sakura.ad.jp/news/sakurainfo/newsentry.php?id=653|当社DNSに関するお知らせ (6/29)]] * [[http://jprs.jp/tech/security/2012-06-22-shared-authoritative-dns-server.html|サービス運用上の問題に起因するドメイン名ハイジャックの危険性について (JPRS 6/22)]] * クラウド * [[http://www.publickey1.jp/blog/12/post_203.html|「さくらのクラウド」で続いていたストレージ障害、報告書をさくらインターネットが公開]] * サーバー * [[http://info.ii-s.biz/2012/07/14/サーバのバックアップ状況について各社問い合わ/|サーバのバックアップ状況について各社問い合わ]] ===== B ===== * [[http://www.atelierb.eu/en/|Ateler-B]] * [[http://www.event-b.org/|Event-B.org]] ===== DNS ===== * [[http://www.e-ontap.com/dns/risk.html|DNSの不適切な運用が生むドメインハイジャックの危険性について]] ===== CSRF ===== Cross site request forgeries * [[http://www.jumperz.net/texts/csrf.htm|開発者のための正しいCSRF対策]] ===== Bloom ===== * [[http://boom.cs.berkeley.edu/]] * [[http://www.bloom-lang.net/]] * [[https://github.com/bloom-lang/bud]] ===== 日本数学会 ===== * [[http://mathsoc.jp/comm/kyoiku/chousa2011/|「大学生数学基本調査」に基づく数学教育への提言]] (2011) ===== org-mode ===== * [[http://orgmode.org/|orgmode.org]] * [[http://orgmode.org/worg|Worg]] * [[http://www.geocities.jp/km_pp1/org-mode/org-mode-document.html|Org-mode による HTML 文書作成入門]] * [[http://www.moreslowly.jp/mw/index.php/Org-Mode_で日本語_PDF_を出力できるようにする|Org-Mode_で日本語_PDF_を出力できるようにする]] * [[https://github.com/takaxp/org-tree-slide|org-tree-slide]] * org-s5 * [[http://github.com/sigma/org-s5|org-s5]] * [[http://www.hodique.info/blog/2009/11/14/s5_presentation_from_org-mode|s5 presentation from org-mode]] ===== 裁断器・カッター ===== * [[http://www.book40.com/|ブック40]] * [[http://www.amazon.co.jp/dp/B003MPRP9Y|大型裁断器・ペーパーカッター]] * [[http://bungu.plus.co.jp/sta/product/cut/papercutter/|PK 513L]] ===== LIAMA ===== * [[http://liama.ia.ac.cn/wiki/|LIAMA]] * [[http://formes.asia/cms/|FORMES]] * [[http://compcert.inria.fr/|COMPCERT]] * [[http://llvm.org/|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 ???? ===== Openbox ===== * [[http://openbox.org/wiki/Help:Contents#Cool_programs_to_run_with_Openbox]] * [[http://d.hatena.ne.jp/ktat/20110424/1303573954|Openbox に変えてみた]] ===== HPC ===== * [[http://www.cc.u-tokyo.ac.jp/system/fx10/|東大 FX10]] * [[http://www.iimc.kyoto-u.ac.jp/ja/services/comp/|京大]] * [[http://www.ccs.tsukuba.ac.jp/CCS/|筑波 CCS]] ===== Grml ===== * [[http://grml.org/|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 ===== Windows 7 Upgrade 版 Clean Install ===== * [[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]] ===== Flets プレミアム CTU 設定 ===== * 静的アドレス変換の記述を行った時は, そのポートをファイアウォール設定で開けておく必要がある. * ファイアウォール設定を変更した時は**リブートが必要** ===== 認証 ===== * [[http://csrc.nist.gov/publications/nistpubs/800-63-1/SP-800-63-1.pdf|Electronic Authentication Guideline (NIST SP-800-63-1)]] * [[http://www.ipa.go.jp/security/publications/nist/documents/SP800-63-J.pdf|NIST SP-800-63-J]] ===== TeX, LaTeX ===== * [[http://www.tug.org/TUGboat/tb30-2/tb95neveln.pdf|Proof Check]] ===== pTex, utf package, ipa font ===== * 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 ===== プレゼンテーション・論文 ===== * [[http://d.hatena.ne.jp/kzhk/20091215/p2|加藤和彦 構造的プレゼンテーション]] * [[http://readingmonkey.blog45.fc2.com/blog-entry-557.html|こう言い換えろ→論文に死んでも書いてはいけない言葉30]] * [[http://d.hatena.ne.jp/next49/20120103/p2|上記の「追記版」]] ===== Java Script ===== * [[http://d.hatena.ne.jp/oogatta/20101003/1286099289|コア・JavaScript(JavaScript. The Core.)]] * [[http://alpha.mixi.co.jp/blog/?cat=41|詳細 ECMA-262-3 (1-6)]] * [[http://dmitrysoshnikov.com/tag/ecma-262-3/|ECMA-262 (Dmitry Soshnikov)]] * [[http://www.ecma-international.org/|Ecma International]] * [[http://www.ecma-international.org/publications/|Emca International Publications]] * [[http://blog.gijutsuya.jp/harajune/2010/11/19/one-method-for-xss-protection/|XSS対策手法のひとつの提案]] * [[http://www.pori2.net/js/|初心者のためのJavaScript講座]] ===== lpr + ssh ===== * http://www.linuxjournal.com/article/5462 ===== 組込み ===== * [[http://www.ertl.jp/SSEST/top/index.php?SSEST5%2F%BB%F6%C1%B0%BC%C2%BD%AC|SSET5/事前演習 (リアルタイムOS, ハンドラ etc.)]] ===== PXE boot ===== * debian squeeze のマシンを DHCP/TFTP サーバーにして PXE ブートを行なおうとしてなかなかうまくいかなかった. * dhcpd.conf の next-server の設定を IP アドレスにしたらうまくいった. * man ページではホスト名の例が載っているので, 原因は他の所にあるのだろう. ===== FOCUS ===== * [[memo:focus-software]] ===== Virtualization ===== * [[:memo:lxc|memo/LXC]] * [[:memo:kvm|memo/KVM]] * [[:memo:xen|memo/Xen]] * [[:memo:openvz|memo/OpenVZ]] ===== 裁断サービス ===== * [[http://scanbooks.jp|スキャンブックス]] * [[http://www.tabata-1.co.jp/|田端印刷]] * [[http://www.kinkos.co.jp/|フェデックス キンコーズ]] ===== Cluster Administration ===== * [[http://www.clusterresources.com/products/torque-resource-manager.php|Torque Resource Manager]] * [[http://www.ie.u-ryukyu.ac.jp/howto/index.php?Howto%2FTORQUE|琉球大]] ===== 構造解析 ===== * [[http://adventure.sys.t.u-tokyo.ac.jp/jp/]] ===== シミュレーションソフト ===== * [[http://www.msg.ameslab.gov/gamess/|Gamess]] * [[http://www.ciss.iis.u-tokyo.ac.jp/rss21/index.html|RSS21]] * [[http://octa.jp/index_jp.html|OCTA ソフトマテリアル統合的シミュレーター]] * [[http://www.opencascade.org/|Open CASCADE Technology, 3D modeling & numerical simulation]] (lenny 6.2-7, squeeze 6.3.0.dfsg.1-6) * [[http://www.freefem.org/|freeFEM.org]] (lenny 3.5.8-4.1, squeeze 3.5.8-4.2) * [[http://www.dhondt.de/|CalculiX -- Software Three-Dimensional Sructural Finite Element Program]] * [[http://penguin.tantin.jp/mori/category/%E7%A0%94%E7%A9%B6%E3%83%BB%E9%96%8B%E7%99%BA%E3%83%BB%E8%A8%AD%E8%A8%88/%E3%82%B7%E3%83%9F%E3%83%A5%E3%83%AC%E3%83%BC%E3%82%B7%E3%83%A7%E3%83%B3%28%E6%9C%89%E9%99%90%E8%A6%81%E7%B4%A0%E6%B3%95%29.html|ペンギンの杜 (有限要素法)]] ===== 化学計算 ===== * [[http://www.broadinstitute.org/software/allpaths-lg/blog/?page_id=12|ALLPATH-LG]] * [[http://trinityrnaseq.sourceforge.net/|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) * [[http://moldb.nihs.go.jp/abinitmp/|ABINIT-MP -- Ab initio Fragment MO Method Program]] * NAMD (http://www.ks.uiuc.edu/Research/namd/) ===== 流体 ===== * [[http://www.openfoam.com/|OpenFOAM open source CFD]] ===== 可視化 ===== * [[http://www.eyeonline.com/web/eyeonweb/products/fusion6/fusion6.aspx|Fusion]] ===== モデル検査技術演習 (PT001) の試行開催 ===== * http://unit.aist.go.jp/ispd/tsco/pt/pt001/ * 参加締切 8 月 22 日 ===== mpich2 ===== * [[http://d.hatena.ne.jp/kumattau/20110219/1298141126|Checkpoint について]] * [[http://haraken.info/_dmi/note/2010_6_18_2.pdf|MPI のプロセス移動について]] ===== Python ===== * [[http://www.python.org/|Official Website]] * [[http://www.python.jp/Zope|日本 Python ユーザー会]] * [[http://ja.wikipedia.org/wiki/Python|Wikipedia]] * [[http://www.pythonweb.jp/|Pythonweb.jp]] * [[http://www.pythonweb.jp/tutorial/|Python Tutorial]] * [[http://www.doughellmann.com/PyMOTW/|Python Module of the Week]] * [[http://d.hatena.ne.jp/karasuyamatengu/20110210/1297325456|Python subprocess (karasuyamatengu)]] * [[http://jimmyg.org/blog/2009/working-with-python-subprocess.html|Working with python subprocess]] * [[http://pylonsbook.com/en/1.1/|Pylon Book]] ===== GPGPU ===== ==== OpenCL ==== * [[http://ja.wikipedia.org/wiki/OpenCL|Wikipedia]] * [[http://www.khronos.org/opencl/|OpenCL]] ==== CUDA ==== * [[http://ja.wikipedia.org/wiki/CUDA|Wikipedia]] * [[http://www.nvidia.com/object/cuda_home_new.html|Nvidia Cuda Zone]] ===== encfs + samba ===== ===== nord ===== 舞さんのキーボードが新しくなっていた. ''nord'' と ''stage'' というロゴが左右に見える. * [[http://www.nordkeyboards.jp/|Nord 社 (JP)]] * [[http://www.nordkeyboards.com/|(米)]] * [[http://www.nordkeyboards.jp/products/nord_stage_ex/|Nord Stage EX]] * [[http://www.nordkeyboards.jp/products/nord_stage_2/|Nord Stage 2]] ===== Event-B ===== * [[http://www.event-b.org]] * [[http://set.style.coocan.jp/wiki/]] ===== DMTCP ===== Distributed MultiThreaded CheckPointing http://dmtcp.sourceforge.net/ ===== ABCL ===== Armed Bear Common Lisp (ABCL) - Common Lisp on the JVM * http://common-lisp.net/project/armedbear/ ===== LTSA ===== * [[http://forza.cocolog-nifty.com/blog/2009/10/ltsa-14f8.html]] * [[http://www.doc.ic.ac.uk/ltsa/|LTSA]] * [[http://www.doc.ic.ac.uk/ltsa/|Tutorial 山本研]] * [[http://garyo.sakura.ne.jp/LTSA/index.php?FrontPage|まとめさいと]] ===== Foxit J-Reader ===== * http://www.foxitsoftware.com/japan/products/reader/reader.php ===== X11 forwarding エラー ===== サーバーにログインして xpdf すると X11 connection rejected because of wrong authentication. とエラーがでる. 昨日まではなんともなかった. いろいろ調べた結果, **quota over** の所為だと判明. 手間どる. ===== set gid on Solaris ===== solaris では ''chmod 2770 DIR'' はきかない. ''chmod 770 DIR; chmod g+s DIR'' としないといけない. ===== Flets の接続テスト ===== * Windows のネットワーク接続で * ISP: test * User: flets@flets * Password: flets ===== Toulmin ===== * 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 * トゥールミンモデル * 議論モデル ===== disk 消去 ===== dd if=/dev/urandom of=/dev/sdX bs=4M shred -uvs -n 7 /dev/sdX wipe -kqD /dev/sdX ===== qmail (QMAILQUEUE) ===== qmailqueue patch 適用で QMAILQUEUE を参照しているプログラム * qmail-inject * qmail-local * qmail-qmqpd * qmail-qmtpd * qmail-send * qmail-smtpd ===== gcc & VC ===== [[http://homepage1.nifty.com/herumi/prog/gcc-and-vc.html|gcc と VC]] ===== SMT ===== * yices (SRL) * SAL/yices ===== phpinfo ===== インストール済の PHP の環境をチェックするには と一行だけ書いたファイル, 例えば "info.php" を作成して, アクセスする. ===== syslinux X60 and X200 ===== syslinux を用いて Linux を USB ブートして使っていたのだけど, Lenovo の x60 と X200 では OS が見つからないといってうまく動かない. ''-s'' option を付けて syslinux をインストールすると起動した (ただし, 非常に読み込みが遅い) squeeze の syslinux は問題ない. ただし, Windows からインストールしないと起動しなかった. ===== mpg123 on debian ===== Debian Lenny のマシンを久しぶりに upgrade したら mpg123 が動かなくなった. いろいろ調べて libltdl3 が更新された為であった. http://git.savannah.gnu.org/cgit/libtool.git/commit/?id=e91f7b960032074a55fc91273c1917e3082b5338 を参考にして src/module.c の中で lt_dlopen に渡される module_path の先頭に "./" を付けくわえることで動くようになった. ===== putty で UTF8 ===== * http://blog.c--v.net/2008/08/09/1 * ウィンドウ > 変換 > 文字コードの設定 ===== Wonderlust ===== From: の書きかえでちょっと手間取ってしまっ. wl-draft-config-alist は, default では, すべてのマッチしたパターンが適用され, From: 書きかえの場合, 最後のパターンが適用される. ちゃんとマニュアルを見ないといけない. ===== Verification/Simulation/Testing ===== * [[http://www-verimag.imag.fr/|Verimag]] * [[http://www-verimag.imag.fr/SYNCHRONE/|Synchronous Group]] * [[http://www-verimag.imag.fr/SYNCHRONE/index.php?page=lurette/lurette|Lurette]] ===== Qnap ===== http://www.cyrius.com/debian/ http://www.qnap.com/ ==== Serial Cable ==== 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, Tsubame, Supercomputer ===== * [[http://www.open-supercomputer.org/|T2K]] * [[http://web.kudpc.kyoto-u.ac.jp/hpc/supercomputer|京大]] * [[http://www.cc.u-tokyo.ac.jp/|東大]] * [[http://www.ccs.tsukuba.ac.jp/ccs/kyoudou/file/t2ktsukuba.pdf|筑波 (てびき)]] * [[http://www.gsic.titech.ac.jp/~ccwww/|東工大つばめ]] 計算センターの スーパーコンピュータのメモリ ^ ^構成^Total^ ^ |東大|128G x 128|16T|vector| | |32Gx952|32T| | |京大|1Tx7|7T|SparcEnterprise M7000| | |32Gx416|13T| | |阪大|1Tx10|10T|SX-9| | |256Gx8,64Gx4,128Gx8|3.3T|SX-8R| |東北大|1Tx16|16T|SX | ===== 1TB 超メモリ Linux サーバー ===== ==== SGI ==== * http://www.sgi.co.jp/products/altix/index.html * http://www.sgi.co.jp/products/altix/uv.html (x86_64, 16TB) ==== HP ==== * http://h50146.www5.hp.com/products/servers/integrity/superdome2/ (4TB) * http://h50146.www5.hp.com/products/servers/integrity/superdome/ (2TB) ==== Oracle ==== * 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) ===== New Disk に partition を切る ===== (echo p;echo n;echo p;echo 1;echo;echo;echo p;echo w) | sudo fdisk /dev/sdf ===== dd によるバックアップ ===== 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 ^X^BS^PROG^time^size^scp time^decomp time^ |sda1(27GB)|1024|lzop|5m23s|1.70GB|0.26s|5m47s| |sda1 |1024|gzip|7m01s|1.38GB|0.21s| | |sda2(20GB)|1024|lzop|4m04s|3.66GB|0.03s| | |sda2 |1024|gzip|4m20s|2.58GB|0.05s| | ===== rdesktop ===== login 画面でユーザ名やパスワード等が入力できないときは, 別のウィンドウでキー入力を行なってから, login 画面にもどればよい. remote desktop のポート 3389 ===== Subnetmask ===== ^ ^Mask^Bcast^IP数^ |/24|0|255|256| |/25|128|127|128| |/26|192|63|64| |/27|224|31|32| |/28|240|15|16| |/29|248|7|8| |/30|252|3|4| |/32|255|0|1| 192.168.24.64/27,192.168.24.242,192.168.24.95 ===== openssh ===== Pubkey Authentication は $HOME, $HOME/.ssh の permission が go-w $HOME/.ssh/authorized_keys の permission が go-wrx でないといけない.それぞれ 700, 600 にしておくのが無難. ===== RFC 1918 private address ===== |10.0.0.0 - 10.255.255.255|(10.0.0.0/8)| |172.16.0.0 - 172.31.255.255|(17.2.16.0.0/12)| |192.168.0.0 - 192.168.255.255|(192.168.0.0/16)| ===== b-mobile 3G ===== 手に入れたので Lenny のマシンでトライした. Lenny の 2.6.26 の kernel では動かず, backports.org の 2.6.30 にして使えるようになった. * [[http://colin-cube.com/blog/article.php?id=31|Ubuntu で WiLLCOM CORE 3G]] * [[http://www.namazu.org/~tsuchiya/debian/cfr4/index.html|Panasonic Let's Note CF-R4 に Debian をインストール]] * [[http://www2.kokken.go.jp/masaya/public/wiki/index.php?memo%2Flinux%2Fb-mobile3G|Ubuntu で b-mobile 3G]] * [[http://www.bmobile.ne.jp/personal/3g/mac/b-mobile3G_Mac_riyou.pdf|b-mobile3G Mac で利用する方法]] ===== wget, w3m で環境変数による proxy の指定 ===== env http_proxy=http://PROXY_SERVER:PORT/ w3m http://debian/debian env http_proxy=http://PROXY_SERVER:PORT/ wget http://debian/debian/README ===== openssl で password 生成 ===== openssl passwd 'PASSWORD' # crypt openssl passwd -1 'PASSWORD' # md5 ===== SSL 認証局 ===== * http://takagi-hiromitsu.jp/diary/20081221.html より * StarCom http://www.startcom.org/ Class 1 なら無料.暗号強度も十分.Firefox, Safari でしか使えない. ===== Windows のリブート ===== shutdown -r -t 秒 ===== UFS の mount ===== FreeBSD * mount -t ufs -o ufstype=ufs2,ro /dev/sda4 /mnt NetBSD 他 * mount -t ufs -o ufstype=44bsd,ro /dev/sda4 /mnt ===== 池田 ===== 一乗寺 - 池田は, 阪急十三経由が最短 ===== Proftpd アクセス制限 ===== * Class を使う例. ただし, Class は最後に定義したものしか有効でない. (BUG?) From 192.168.0.0/24 AllowClass friends DenyAll * 単純に Allow を使う例 Order allow,deny Allow From 192.168.0.0/24 Deny from all Order allow,deny Allow From 192.168.0.0/24,192.168.1.0/24 Deny from all ===== めも ===== 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/ ===== rdesktop via ssh port forwarding ===== ssh -X -L 3389:WinHost:3389 localhost rdesktop localhost ===== 連携研究体 ===== 組込みシステム技術連携研究体 **略称** 組込み連携拠点 Collaborative Research Team for Verification (CFV) ===== DokuWiki Plugins ===== {{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]}}