型安全性とは何か | POSTD
以前書いた（C言語についての） メモリ安全性について定義した記事 について、型安全性について説明する記事も投稿してほしいというコメントがありました。型安全性についてはかなりよく知られてきていると思いますが、ズバリこうだと簡単に定義できるほどにはまだ理解が浸透していません。特に誰かが”Javaは型安全な言語だ”と言った場合、これは厳密に何を意味するのでしょう。全ての型安全な言語はある意味”同じ”と言えるでしょうか。ある特定の言語について、そして一般的な意味で、あなたを悩ませる型安全性とは何でしょうか。 実際のところ、型安全性が何を意味するのかは言語の型システムの定義によります。最もシンプルなケースでは、型安全性はプログラムの動作が正しく定義されるように保証します。もっと一般的な話をすると（この記事ではそのあたりをカバーするつもりですが）、言語の型システムはそのプログラムの正確さと安全性を推論
Agile2014に参加してみて分かった昨今の世界のアジャイル事情 - The HIRO Says
先日参加してきた Agile2014 の、社内向けレポートを公開しても良いことになったので、共有させていただきます。 Agile2014 Report: As a Speaker and a Reporter of the latest Agile in the world from Hiroyuki Ito 本当は帰国時（8/4）の飛行機の中で書き終えており、帰国次第即公開しようとしたのですが、社内手続きなどの都合で公開が遅れていました。 また、公開まで期間が空いたので、レポートを書いた当時は理解できなかった点についてもある程度理解が追いつくようになったのですが、帰国時の雰囲気をそのまま伝えたいと考えたため、あえて追加修正をしないでの公開とさせていただきました。 英語で書いたということもありますが、説明足らずの部分も多々ありますので、可能な範囲で追加説明をしてみようと思います。 ３つのト
SAFe 6.0 Framework
Overview The SAFe Overview is a visualization of the seven core competencies of Business Agility and the dimensions of each. Essential The Essential SAFe configuration provides the minimal elements necessary for ARTs to deliver solutions and is the simplest starting point for implementation Large Solution The Large Solution SAFe configuration is for enterprises building large and complex solutions
イマドキのIDE事情(129) リポジトリ管理ツール「Nexus」でMavenをさらに活用しよう!
Nexusとは? NexusはSonatype社が提供するWebアプリケーションで、Webブラウザ上からMavenリポジトリの管理を行うことができ、外部のリポジトリのプロキシ/キャッシュとしても動作する。同種のツールには、Artifactoryなどがある。 IDEの範疇からは外れてしまうが、Java開発においてMavenを使用する場合に、開発したソフトウェアをデプロイしたり、外部のMavenリポジトリに存在しないライブラリなどを使用するために、開発環境の一部としてプライベートリポジトリを立てる必要に迫られることがある。Nexusはこのような場合に有用なツールだ。 Nexusは無償で利用可能なOSS版に加え、有償のProfessional版が提供されている。本稿ではOSS版の導入手順と基本的な利用方法を紹介する。 Nexusのインストール NexusのWebサイトには、Jettyがバンドルさ
『るろうに剣心』斬新な殺陣に世界が驚愕！日本人監督にオファー殺到：イザ！
【戸津井康之の銀幕裏の声】 ジャッキー・チェンら香港映画界の重鎮が絶大なる信頼を寄せる日本人アクション監督がいる。「国籍は日本ですが、映画国籍は香港です」と言い切る谷垣健治さん（４３）がアクション監督を務めた大作「るろうに剣心」シリーズが話題を集めている。現在、第２弾「京都大火編」、来月１３日から第３弾「伝説の最期編」が公開。１作目は６４カ国で公開され、かつてない斬新な殺陣に世界が驚愕（きょうがく）。谷垣さんには香港などからアクション監督の依頼が殺到している。ジャッキーが認めた“和製アクション”が今、世界を席巻し始めている。 ■自ら宙づりでカメラ操る 「本当に斬り合っているのでは？ そんなリアリティーを追求した殺陣を目指した」と谷垣さんは言う。 屋根の上を飛ぶように駆け抜け、転ぶ寸前で体勢を維持しながら滑るように地を滑走（通称「ドリフト走り」）、壁や斜面をかけ上がって剣をふるう…。 平成２
中国メディア 日本の援助功績を掲載 NHKニュース
中国政府が、９月３日を「抗日戦争勝利記念日」と定め、盛大な記念式典を開くなか、中国のネットメディア大手が、日本が戦後、中国に対して行ってきたさまざまな援助の功績を伝える特集を掲載し、ネット上で大きな関心を集めています。 これは中国のＩＴ企業「テンセント」が、スマートフォン向けに配信しているニュースの中で、「日本は、中国を傷つけただけなのか」と題し、特集として掲載したものです。 特集では、６年前の四川大地震の際に被災地に入った日本の国際緊急援助隊が、遺体に向かって黙とうしている姿や、中国の緑化のために力を注いだ故・遠山正瑛氏の活動などを写真付きで紹介しているほか、日本が中国に対して、２００８年までの３０年間に行った政府開発援助の総額が、２２４８億人民元に上ることなどを伝え、日本の功績を強調しています。 ３日は、中国政府が定めた「抗日戦争勝利記念日」で、習近平国家主席も出席して盛大な記念式典が
在日ファンク・浜野謙太、“大人の意思表示”を語る「他の音楽よりも怒ってる自信がある」
俳優、タレントとしても多岐にわたって活躍する浜野謙太が率いる7人組ファンクバンド・在日ファンク。彼らが9月3日、メジャーデビュー作となるアルバム『笑うな』を日本コロムビアよりリリースする。“日本”に“在るところ”のファンクを主張する彼らの新作は、浜野のコミカルで楽しいイメージとは裏腹に、音楽的にはストイックで尖った仕上がりを見せている。今回、リアルサウンドでは浜野本人にインタビュー。新作に込めたファンクへの情熱から、SAKEROCKで活動を共にする星野源にも影響を受けたというバンド運営術、さらには多岐にわたる個人活動が在日ファンクに与える影響についても語った。 「リーダーシップはないけど、フォロワーシップはかなりある（笑）」 ――今作『笑うな』は歌も演奏もソリッドで、全体的に尖った印象を受けました。とても音楽的で、ストイックな作品ではないでしょうか。 浜野： メジャーに行くってことは、「セ
ガラスの仮面を『共依存』の視点から読む - What a strange world it is.
実に20年近くぶりにガラスの仮面を一巻から最新刊まで読み返した。 今読み返しても実に面白い傑作。当然、当時とは異なる感慨と感動を得たのだが、殊に主人公・北島マヤと母親の関係が『共依存』的である事が一番気にかかり、またこの視点から書かれたテキストは殆ど無いであろうと思うので書く事にした。 精神医学に興味の無い方にとって『共依存』という言葉自体に馴染みがないと思うが、これについて詳しく説明をすると一冊の本になってしまうので、検索結果リンクと以下に書く補足説明程度でご勘弁いただきたい。 『共依存』とは、その字の如く互いに依存してしまう関係性であり、夫婦関係の場合もあるが、母親と娘のケースも非常に多い。父親の不在やDV、アルコール依存等で問題を抱えた母親が娘を自身に依存させるように”無意識”に仕向けてしまう例が圧倒的に多い。母親は不安のあまり、娘を依存させる事によって”自身の存在価値”を見出し、時
【革命】自分のケツにプロジェクションマッピングしてみた | オモコロ
こんにちは、ARuFaです。 突然ですがみなさんは、『プロジェクションマッピング』をご存知ですか？ 建物や静物などに映像を映す手法として、最近話題のプロジェクションマッピング・・・。 皆様も、恐らく一度は見たことがあるのではないでしょうか。 念のためご紹介すると、こういうやつです。（全部見なくて大丈夫です） すごいですよね。箱に映像を映しているようです。 さあ、そんなプロジェクションマッピングですが、僕はふとこんなことを思いました。 「プロジェクションマッピングには、さらなる可能性があるんじゃないか」…と。 そう、一般的には建物などに映像を映すプロジェクションマッピングですが、 もっと別の物に映像を投影すれば、さらに素晴らしい作品になる気がするのです。 ・・・そして、あれこれと長年考えた結果、ようやく辿り着いた僕の答え・・・ そう、それが・・・ そのプロジェクションマッピングこそが・・・
The domain name tonight.at is for sale
Copyright © 2013 - 2020 Dan.com an Undeveloped BV subsidiary. All Rights Reserved. Buyer Protection ProgramDAN.COM is a third party domain escrow & transfer provider. We safeguard all domain purchases conducted on our marketplace. All transactions are protected by our careful escrow process & team. DAN.COM also offers post transaction support to our buyers at no additional cost. Here is how our es
ウェブの仕様は今どこにあるのか？
Webの仕様 ウェブの仕様といえば、W3CやWHATWG、IETFとかが思い浮かぶかもしれません。 これらの仕様が最近ではメーリングリストやIRCといった旧来のところだけではなく、GitHub上で議論されて策定が進められている事が増えています。(両方使ってるという話) この記事はそのような方法で進められてる仕様等についての紹介です。 ＊ 自分自身はそこまで仕様に対して強い興味があるわけではないので、もっと詳しい方が正しくまとめて頂きたいです。。 最初にMove The Web Forward | Guide to getting involved with standards and browser developmentを見ておくといいかもしれません。 JavaScriptの仕様 この動きが多く見られるのがJavaScript(ECMAScriptやDOM APIを含む)周りの仕様につい
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
