それはどういう意味でしょう

プログラムと哲学と法律と。プログラム多めです。

  • ホーム
  • ホーム
ホーム アーカイブ: 5月 2013

MacのPATH設定

MacのPATH設定

2013年5月29日水曜日
環境設定でよくやるのでメモ。 Macのpath設定は ~/.bash_profile に記述するらしい。 vim ~/.bash_profile でファイルを開き、編集。 初期状態ではファイルが存在し…

MacBookAir買いました

MacBookAir買いました

2013年5月29日水曜日
Mac
Mac版の環境整備の投稿と前後してしまうのだけど。 表題の通りで、MBAをついに購入。 意外と時間のない学生なもので、通学時間で開発等できるようにしたかったのと、タブレットだけでできることに限界を感じてたか…

Mac版EclipseでProxyを有効にする方法

Mac版EclipseでProxyを有効にする方法

2013年5月29日水曜日
Mac
うちの大学では一部のLANがproxyを要求するので、その設定まとめ。 まず、Eclipse一般でネットワーク接続にproxyを利用する場合は、 Eclipse->環境設定 を開き、 …

『分析哲学講義』読了

『分析哲学講義』読了

2013年5月26日日曜日
読書
法学・法哲学
ここ3日ぐらい読んでた新書『分析哲学講義』読了。 読んでて論理実証主義の話は自分の考える法学との関係で使えるかな、と思ったので考えをちょっとだけ整理してみる。 第1 論理実証主義の命題について 論理…

Playで起動時に無確認でevolutionが実行されるようにする

Playで起動時に無確認でevolutionが実行されるようにする

2013年5月23日木曜日
Play framework
Play framework 2.0.4についてです。 なんとなく思いつきで、modelを起動時にだけ保持するシステムを作ってました。 なら起動中のみmemに保存されるjdbc:h2:mem:playでいいんでね…

ブログ開始

ブログ開始

2013年5月23日木曜日
なんとなく、思いつきでブログを開始してみた。 書籍の感想やまとめからプログラミングまで、趣味の範囲内の話題を書いていこうと思う。
新しい投稿 ホーム

検索

投稿日時

  • ► 2020 1
    • ► 5月 1
  • ► 2019 1
    • ► 1月 1
  • ► 2018 4
    • ► 10月 1
    • ► 4月 1
    • ► 2月 2
  • ► 2016 5
    • ► 7月 1
    • ► 6月 2
    • ► 3月 1
    • ► 2月 1
  • ► 2015 22
    • ► 12月 1
    • ► 10月 2
    • ► 9月 2
    • ► 7月 2
    • ► 4月 2
    • ► 3月 3
    • ► 2月 6
    • ► 1月 4
  • ► 2014 11
    • ► 8月 3
    • ► 5月 2
    • ► 4月 3
    • ► 2月 3
  • ► 2013 11
    • ► 9月 3
    • ► 6月 2
    • ► 5月 6
      • MacのPATH設定
      • MacBookAir買いました
      • Mac版EclipseでProxyを有効にする方法
      • 『分析哲学講義』読了
      • Playで起動時に無確認でevolutionが実行されるようにする
      • ブログ開始

人気記事

  • メモ
    コードを投稿するのにSyntax highlightないのはどうかと思うので、入れよう → Crayonを捨てた。…
  • iTextpdfを使ってPDFデータからテキストデータを抽出する
    JavaからPDFを扱うためのライブラリとして、iTextpdfというものがあります。 iText, Program…
  • ローカルブランチにリモートブランチを追跡させる
    追跡ブランチに変える方法。 git branch -u {remote}/{branch} これで追加される。…
  • git logの使い方
    備忘録。 基本 git log ログ数指定 git log -L Lには数字が入ります。 Lに指定し…
  • 循環的複雑度を用いた法文検証?
    Developers Summit2015にて「法律をコードで書き換えて複雑度を検証してみる」という面白い試みが報告さ…

カテゴリ

  • CentOS
  • Git
  • Java
  • JavaScript
  • Mac
  • Play framework
  • Programming
  • Scala
  • Server
  • WebDesign
  • 情報学
  • 読書
  • 法学・法哲学
  • 法情報学

Author

nil
法学部→法学研究科→某センター特任助教 法哲学とか論理学の勉強をしてます。
詳細プロフィールを表示

タグ

CentOS Git Java JavaScript Mac Play framework Programming Scala Server WebDesign 情報学 読書 法学・法哲学 法情報学
Powered by Blogger
Nil (@nullue)

© それはどういう意味でしょう All Rights Reserved.

designed by Blogger Labo