目次（索引） ◆TPPと保護期間延長でどうなる日本の著作権!?（まえがき） ◆TPPと保護期間延長でどうなる日本の著作権!?　①（玉井克哉先生による趣旨説明） ◆TPPと保護期間延長でどうなる日本の著作権!?　②（福井健策先生による発表30分） ◆TPPと保護期間延長でどうなる日本の著作権!?　③（玉井先生による発表30分） ◆TPPと保護期間延長でどうなる日本の著作権!?　④（福井先生による再発表15分） ◆TPPと保護期間延長でどうなる日本の著作権!?　⑤（玉井先生による再発表15分） ◆TPPと保護期間延長でどうなる日本の著作権!?　⑥（ゲスト感想編） ◆TPPと保護期間延長でどうなる日本の著作権!?　⑦（質疑応答編） ◆TPPと保護期間延長でどうなる日本の著作権!?　⑧（まとめ＆あとがき）

JavaでMaybeを説明した以下の記事について, id:tozimaさんと某所*1でやりとりしていたら, 有益な話が出てきたのではないか, ということになったので, 紹介. 基本的にやりとりをそのまま*2抜粋したものに, 適宜補足を加えていきます. 発端 2012-06-29 04:29id:tozima こんな記事があった。 Java の語彙で Maybe を説明してみる - ぐるぐる～ 直和型のエンコーディングである、 でMaybeモナドを説明している、まっとうな記事です。気になったのは、上のエンコーディングを Java の上でやって、なにか変なことが起きないのかということ。例えば記事中では、 *3 みたいなことが、Javaでは禁止できない、ってことについて触れています。この他には変なことはおきないんでしょうか？ 僕には全然Java的な言語への直感がないので教えてください！！！ 「.

表題の様なことがちょっと気になったので、型無λ計算の big step semantics (戦略は正格評価)を実装しました。まあ要するにしょぼいインタプリタですね。 FP でλ計算を実装する まず、普通に関数型言語(OCaml)で実装してみました。 λ式の型は t (term) λ式には整数定数と加減をプリミティブとして追加 λ式を評価すると value になる(計算止まらない場合はさようなら) value には引数を待っているプリミティブがある open List (** primitives *) type prim = Add | Sub (** terms *) type t = | Int of int | Var of string | App of t * t | Lambda of string * t | Prim of prim (** semantic values

FINDJOB! 終了のお知らせ 2023年9月29日にFINDJOB!を終了いたしました。 これまでFINDJOB!をご利用いただいた企業様、求職者様、様々なご関係者様。 大変長らくFINDJOB!をご愛顧いただき、誠にありがとうございました。 IT/Web系の仕事や求人がまだ広く普及していない頃にFind Job!をリリースしてから 約26年間、多くの方々に支えていただき、運営を続けてまいりました。 転職成功のお声、採用成功のお声など、嬉しい言葉もたくさんいただきました。 またFINDJOB!経由で入社された方が人事担当になり、 FINDJOB!を通じて、新たな人材に出会うことができたなど、 たくさんのご縁をつくることができたのではないかと思っております。 2023年9月29日をもって、FINDJOB!はその歴史の幕を下ろすこととなりましたが、 今後も、IT/Web業界やクリエイティブ

「真の爆速は速すぎて見えない」 ヤフーにおけるリーンスタートアップの実践。IBM Innovate 2013 大規模な組織であってもリーンスタートアップのような方法論は重要である。IBMが10月28日に都内で開催したイベント「Innovate 2013」の基調講演に登壇したヤフーの河合氏は、同社におけるリーンスタートアップの事例を通してこのことを示しました。 エンタープライズ向けのサービスであっても、つねに改善のサイクルを迅速に回すことが不可欠になってきています。ヤフーの取り組みがどのようなものなのか、河合氏の講演内容をダイジェストで紹介しましょう。 大組織におけるリーン・スタートアップ ヤフー株式会社 CMO （Chief Mobile Officer）室。河合太郎氏

2013/11/2に行われた週末ランサーズでの発表資料です

クロスデバイスなRPGが作れるようになりますよ！ といっても現代風な高機能なRPGでもなく、グラフィックもシンプルなゲームですが。昔懐かしいドラゴンクエスト1〜3あたりの雰囲気が感じられるRPGゲームを作れるエンジンがE.B.U.R.P.です。 CoffeeScriptを使っており、コマンドラインでビルドコマンドを実行することでiOS/Android向けにアプリとしてパッケージできるようになっています。つまりE.B.U.R.P.を使えばクロスデバイスに容易に対応させることができるのです。 ということでデモゲーム（Webブラウザで試せます）を遊んでみます。 Gurkというゲームが遊べます。画面の上半分がゲーム、下が入力画面となっています。 ゲーム開始です。中央にいる旗を持ったユニットが自キャラです。 上下左右の矢印キーを使って動かします。 外に出ました。あからさまに敵っぽいのがいますね。 戦

はてなブログふざけんじゃねえぞ。 上等だよこの野郎。とことんまでつきあってやるよバカ野郎！ （まつたけは最近『アウトレイジ・ビヨンド』を観たそうです） はてブがどんどん消えていく 気づいたのは昨日の夜のことだ。くさいにおいを嗅ぐのがやめられないのなんなの？？？という記事を書いたあと、僕は昨日放送していたハリー・ポッターと死の秘宝パート1の余韻に浸ってぼーっとしていた（ドビイイイイイイ！！！！！！( ；∀；)ダンブルドアが死んだときより悲しいよおおおお！！！！！！）。 するとどういうことだ？？？？？はてブがどんどん消えていく！！！！！ たしかに僕はハリー・ポッターと死の秘宝を観て悲しみの涙（ドビイイイイイイイ！！！！！！( ；∀；)ダンブルドアが死んだときより悲し以下略）に咽びながらの作業だったため、100%作業に集中していたとは言いがたいが、それにしても誰かにはてブをしてもらい、その通知を

Java EE and GlassFish Server Roadmap Updateについて 2013年11月5日 at 1:45 午後 本日、The Aquariumで Java EE と GlassFishの今後のロードマップが発表されました。 この中で GlassFish は Java EE 5 より Java EE の参照実装として提供されており、今年の Java EE 7 のローンチ・イベントにおきましても GlassFish v4.0 を Java EE 7 の参照実装として提供した事を報告しています。また、次期 Java EE につきましても検討を始めた所です。GlassFish はこの Java EE の参照実装という位置づけにおいて今後も開発を進めてまいります。 一方で、GlassFish v4 以降の商用サポートを終了する発表もなされました。ここでご注意頂きたいのは、

みなさま、いかがお過ごしでしょうか。 期日が近づきましたので、ご案内いたします。 姫路ロボ・チャレンジ　ミニ　を下記日程で開催いたしますのでぜひ、リンク先をごらんいただき、ご参加をご検討ください。 よろしくお願い申し上げます。 http://robomaster.jo-zero.com/?eid=136 ＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊ つづいて１１月６日から１１月９日にかけて東京ビッグサイト、東１．２．３ホールで「国際ロボット展２０１３」が開催されます。 弊社もIR1-27ORiN協議会ブース内姫路ソフトワークスコーナーに展示を行います。 今回は４種の新製品を展示します。 まずはHVF-04Xをご紹介します。 可変機構を持った飛行可能２足歩行ロボットキットです。 まずはサンプル生産された内から１台をデアゴスティーニ・ジャパンのキャンペーンに使用することになり、１名

svnから解放されたのもつかの間、今度はひどい運用のgitとGithubのプロジェクトにアサインされて、これまたひどい歪みのBackboneを矯正するバイトをしている。Backboneに対しては、どんな過酷なプロダクトでもとりあえず導入されていればまだ大丈夫だろう、という印象だったのだけれど、クソプログラマはそんな希望さえもあっさりと打ち砕いてくる。クソBackboneの話は長くなるので割愛するが、単純なページ構成のはずなのに、なぜかViewが複雑に絡み合い、liveとbindとonが混在しているし(これはjQueryアンチパターン)、そもそもそれはBackbone.events使えやという感じだし、なぜかBackbone.Routerが3000行超えてるし椎間板ヘルニアみたいな状態だけど、なんとか意図を読み取り、インデントを正し、git blameして呪詛の詞を並べている。 それとは関係

Add some fun and whimsy to your mobile device or computer with our collection of cartoon wallpapers! Choose from classic characters to new favorites, and make your screen pop with personality.

市民がアプリケーションを作り行政サービスを改善することを目指す「Code for Japan」が2013年11月2日、東京大学駒場リサーチキャンパスで設立イベントを開催した。イベントでは米国Code for AmericaインターナショナルプログラムディレクターのCatherine Bracy氏とビデオ会議で意見交換を行い、関連団体がそれぞれの活動を紹介した。 Code for Japanは、市民参加型のコミュニティ運営を通じて、地域の課題を解決するためのアイディアを考え、テクノロジーを活用して公共サービスの開発や運営を支援していく非営利団体。一般社団法人としての登記を10月27日に完了した。米国のCode for Americaをモデルとしている。 Code for AmericaのCatherine Bracy氏はビデオ会議で、イベントに集まった約60人と意見を交換した。Bracy氏は

xkcd: Encryptic 暗号的 先日、ハッカーが1億5300万件ものAdobeユーザーのEメールアドレスと、暗号化されたパスワードと、パスワードのヒントを流出させた。 Adobeは不適切なパスワードの暗号化を行っていた。ブロックモード3DESを使ってしまったのだ。結果として、とても素晴らしいものが出来上がってしまった。 史上最大のクロスワードパズル 捕捉 先日、Adobeのユーザー登録情報が大規模に流出する事件があった。流出したのは、xkcdでも言及しているように、AdobeユーザーのEメールアドレスと、暗号化されたパスワードと、パスワードのヒントだ。この暗号化されたパスワードというのがクセモノだ。 モダンな暗号は、ブロックと呼ばれる決められたビット数単位で行われる。DESのブロック長は64bitである。もし、ブロックごとに独立して暗号化した場合、同じ値のブロックは、同じように暗号

竹田 恒泰（たけだ つねやす、1975年〈昭和50年〉10月24日[1] - ）は、日本の政治評論家、作家、実業家[2]。皇學館大学非常勤講師[3]。株式会社エクスチェンジャーズ、株式会社前方後円墳代表取締役[4][5]。利尻昆布ラーメン「くろおび」オーナー[6][7]。「令和書籍」社長。 旧皇族の竹田家（旧：竹田宮家）出身[8][9][注 1]。竹田宮恒久王と昌子内親王の曾孫であり、男系では北朝第3代崇光天皇の19世[10]、竹田宮恒徳王3世。女系では明治天皇の玄孫[11]で、今上天皇（徳仁）の三従兄弟にあたる。 東京都港区にて出生。日本オリンピック委員会 (JOC) 前会長の竹田恆和[12][13]の子。 松濤幼稚園、慶應義塾幼稚舎、慶應義塾普通部、慶應義塾高校（英語会に所属）を経て、エスカレーター式で慶應義塾大学法学部法律学科で環境学[14]を専攻して卒業する。 イラク戦争前の200