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

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

  • ホーム
  • ホーム
ホーム アーカイブ: 4月 2014

「電子社会と法令工学」

「電子社会と法令工学」

2014年4月23日水曜日
法学・法哲学
法情報学
人工知能学会誌23巻4号所収。 法令を工学する、という発想がとてもおもしろい。 以前から、『ソフトウェア工学との類似性に着目した立法支援方法』等の角田篤泰先生による論文は読んでいたものの、他の記事で法令工学という…

シャットダウンタイマ

シャットダウンタイマ

2014年4月9日水曜日
Programming
家を出る時、出る前にやらなきゃならない作業を全部終わらせてるか不安でPCがシャットダウンできず、PCシャットダウンできないがために踏ん切りがつかずに家を出れないという悪循環に陥ることが多い。 じゃあPCを即時にシャッ…

良い本発見

良い本発見

2014年4月6日日曜日
情報学
読書
プログラミング言語の設計というか、プログラミング言語においてある概念・ある仕組みが採用されている理由とはなにか?ということについて記述されている書籍がないかなぁと思っていたのだけど、書店でこれを発見。 やっと…
新しい投稿 前の投稿 ホーム

検索

投稿日時

  • ► 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

人気記事

  • メモ
    コードを投稿するのに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