理系学生日記

おまえはいつまで学生気分なのか

忍者TOOLS

我が家の猫が亡くなりました

今日の未明に、うちの愛猫が亡くなりました。横になって、口でしか呼吸ができなくなって、その呼吸の間隔もだんだんと長くなっていって、いつしか呼吸をしなくなって、眠るように息を引き取りました。 妻が元々飼ってた猫です。アメリカン・ショートヘアのシ…

困ったときのパケットキャプチャ+curl

リバースプロキシから渡ってきた HTTP リクエストで WebApp がエラーになるという状況が発生しました。 状況としては、 リバプロにはぼくたちはアクセスできないし、そのリバプロにリクエストを送ることもできない。 リバプロから WebApp 用 FW に何らかの H…

logbackの設定を動的に変更する

そういえば昔、Java のアプリでログレベルを動的に変更したいんじゃ、という要望がありました。 当時、結局その要望は諸事情によって受けられなかったんだけど、Logback でそういうの簡単にできる方法があるらしい。主な方法としては、以下の 2 つ。 logback…

iPhoneの「その他」領域を大幅に削減するためにiPhoneをリセットした

iPhone に DISK FULL のエラーが出るようになった。iPhone 7 の 32 GB モデル。 「設定」アプリの 一般 > iPhoneストレージ にて、ストレージの使用状況を確認できるが、それを見ると 32 GB のうち、「その他」に 13 GB くらい使っているという状況になって…

1年ほどやってみたタスクシュートでのタイムマネジメント状況

昔、タイムマネジメントについて昔にこんなエントリを書きました。もう 5 年前になるのか。このときの気持にはあまり大きな変化はなくて、 まず最初に、そして明確に認識しておかないといけないのは、「現状把握をまともに行っていない状態での"計画"はうま…

Spring徹底入門

年末年始に Spring 徹底入門をようやく読めた。 Java の FW といえば、Spring を知っておかないともうダメみたいな雰囲気を感じはじめており、以前に買ったままずっと積読してしまっておりました。 Spring徹底入門 Spring FrameworkによるJavaアプリケーショ…

IntelliJ IDEA ハンズオン

Java については、いままでずっと中途半端にやってきたもので、Eclipse で良いんじゃねということで Eclipse でしか書いてなかった。 (大学の頃は、JDEE を使って Emacs で書いていた(使えという指示だった気がする)けどさすがに苦行だった) 現代の Java の …

2017年の締めにチャーシューを作る

ずっと欲しかったのだけれど、ようやく圧力鍋を買った。 骨まで食べれる煮魚とか、徹底的にやわらかい肉の煮込みだとか、そういうものを料理したいという欲求が著しく高くなる時期(意識が高い時期)があったのだけれど、鍋に 10,000 円か〜〜という価値感がネ…

git-grep を Emacs で呼び出す helm-git-grep

git grep を Emacs から起動できたら捗るだろうなぁと思い立ってちょっと調べてみたら、そのものズバリの拡張である helm-git-grep が存在していました。 これを導入すると、Emacs から git grep を呼び出せるようになり、 helm インタフェースで使用し、イ…

終わり行く2017年にgrepを

みんな大好き grep についてですが、かなり機能が豊富な一方でなかなかそれがまとまっていないこともあるのと、自分自身、結構細かな Tips を忘れたりするので、ここで簡単にまとめてみたいと思います。 OR 検索 後述する拡張正規表現でも可能といえば可能で…

食器洗浄器のために自力で分岐水栓をつける

12 月になって引越しをしていたんですが、元々の家はシステムキッチンに食器洗浄器がついていたのが、引越し先には付いていない。 こういうときに何が困るのかというと、食器洗浄器に引き込む水を取水するための栓がないことでした。 引越し先の蛇口はタカギ…

インターネットに接続できないオフライン環境でPython製ツールをインストールしたい

ときに、インターネットに接続できない環境というのが存在します。 しかし、今回はこういう環境において Python 製のツールを使いたいという状況が発生しました。 今日びのパッケージマネージャというものはパッケージリポジトリからダウンロードするのが一…

Cookieのpath属性に対するブラウザ毎の挙動の違い

ブラウザ毎の Cookie の path に対する挙動の違いによって、検証しているアプリに色々とバグっぽい挙動が出てきたので、あらためて Cookie における挙動をまとめてみます。 検証内容 セットするCookie の path 属性に /path、あるいは /path/ を指定した Web…

known_hostsからエントリを消す

定期的に忘れるんだけど、~/.ssh/known_hosts にあるエントリをスクリプトから消すコマンドは、ssh-kengen -R。 そもそも known_hosts とは 接続したことのある各ホストの公開鍵を保存しているファイルで、普通の文脈だとユーザレベルのファイルである ~/.ss…

Google Public NTP の Leap Smear

ずっとエントリ書こうと思っていたんですが、Google Public NTP で使われている Leap Smear についてです。 Leap Smear について書き始めたは良いものの、思っていたよりコンテキストが厚くて、閏秒から話をしないといけませんでした。 そうすると、Leap Sme…

MyFacesでのステートレスビューとCSRF対策の問題(解決済)

JSF において、ポストバックに対する CSRF 対策が実装されているというエントリを書きました。 ここでは、CSRF 対策トークンの値が javax.faces.ViewState という hidden 値に埋め込まれ、それを改竄した場合は ViewExpiredException が発生するという内容を…

JSFにおけるCSRF対策

CSRF については、一般に正規利用者の意図したリクエストであることを確認することが対策になります。いわゆる徳丸本で紹介されている、具体的な方法としては以下のとおりです。 秘密情報(トークン)の埋め込み パスワード再入力 Referer のチェック 体系的に…

JSFにおけるPostback、そしてライフサイクル

JSF における Postback とは何なのか、っていうのはなかなか本を見てもわかりませんでした。 かといって、こういう概念は実装してもよくわかんなかったりするので、こういうのはやっぱり公式ドキュメントを読んで理解した方が良いだろうと、そこで学んだこと…

declare、typeset、そして local

declare とか typeset、local まわりの使い方について。 まず、declare と typeset は、シノニムなので、この 2 つの差異は考えなくて良いと思います。このため、ここでは declare でひとまとめにして扱いたいと思います。 そういうわけで、declare と local…

シェルスクリプトで部分文字列を切り出す

ときどき、シェルスクリプトで文字列の 3 文字目から 4 文字を切り出したいみたいなユースケースがあって、これまでずっと cut でやってた。 $ echo $str 1234567890 $ echo $str | cut -c3-6 3456 これ、じつは文字列操作でできる。 $ echo ${str:3:4} 4567…

はてな開発者ブログから参照されてたうれしい話

はてな開発者ブログから人知れずエントリが引用されてたのが、ちょっとうれしいことでした。 自律分散監視システムとそれを利用したネットワークグラフ可視化への挑戦 - Hatena Developer Blog ちょっと Serf いけるかなーと思ってその仕組み調べてたときの…

WAS Liberty Profileとは

WAS? 使ったことなかったんですけど、アプリケーションサーバですよね、みたいなかんじだったんですけど、さらに、 なに?WAS の Liberty Profile?なにそれ、全然知らんけどおいしいの?というくらいの状況でしたので、なんかよくわからなすぎました。 WAS …

WAS Libery ProfileにおけるJVMオプションの設定方法

WAS Liberty Profile において、WAS のランタイムに JVM オプションを指定する方法を探し回っておりました。 この手の JVM オプションは、アプリケーションサーバを立ち上げるスクリプトさえ発見できればすぐなんですけど、今回は Eclipse 上で WebSphere Ap…

スタックトレースの出力が省略されてると思ったそのときに

よくあったんですよ、手元で例外が発生して原因を辿るためにスタックトレースを辿ってたら、おやおや、「… 3 more」とか出てて、原因が辿れねーぞっていうケース。 HighLevelException: MidLevelException: LowLevelException at Junk.a(Junk.java:13) at Ju…

ありがとうLDR

Live Dwango Reader が、2017/8/31 に、ついにサービス終了するそうです。 いつか来るとは思っていましたが、ついにこの日が来たのだと、そういう感覚でした。すごく残念です。本当に残念です。 大学生の頃からの情報収集手段だった ぼくの情報収集手段の最…

シェルスクリプトにおける [ と [[

シェルスクリプトで条件分岐を書くとき、[ を使ったり [[ を使ったりすることになると思います。 POSIX の test にも記載がありあすが、[ は test と同じ機能を持つことになっており、同じ実装であることも多いです (ただし、[ として実行されるか、test と…

Fire TV Stick のある生活

このあいだ開催されていた Amazon の PrimeDay で Amazon Fire TV Stick を購入しました。 Fire TV Stick (New モデル)出版社/メーカー: Amazon発売日: 2017/04/06メディア: エレクトロニクスこの商品を含むブログ (6件) を見る もともとこの手の機器として…

CDIにおけるProducerメソッド

JavaEE 良くわかっていないのですが、それでもプロジェクトが JavaEE 標準だーウオーという状況っぽいので、ちょっと勉強をしはじめております。 ぼくが Java に対して得意意識を持てないのは、こういうところの知識がないのもあるので、そのへんを払拭して…

Fallout 4

PS4 を買ってから BIO HAZARD 7、人喰いの大鷲トリコ | プレイステーション® オフィシャルサイト とやってきて、次が Fallout 4 Game | PS4 - PlayStation だったんですが、これをようやくクリアしました。 ちなみにですが、いまは ゼルダの伝説 ブレス オブ…

宇宙の眼

積ん読していたフィリップ・K・ディックの「宇宙の眼」をようやく完読しました。 フィリップ・K・ディックを知らない人はいると思いますが、「アンドロイドは電気羊の夢を見るか?」とかは有名だと思うし、映画化されたものを見ても ブレードランナー トータ…