Feedly is the fastest way to track the topics and trends that matter to you
![feedly Pro](https://cdn-ak-scissors.b.st-hatena.com/image/square/de50a924a57d3c76babedd923178c0e9b6b491d1/height=288;version=1;width=512/https%3A%2F%2Fs1.feedly.com%2Fimages%2Ffx%2Fog%2Fhomepage.png)
Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such as the type of vectors of a given length. It also has parametrised modules, mixfix operators, Unicode characters, and an interactive Emacs interface which can assist the programmer in writing the program. Agda is a proof assistant. It is an interactive system for wr
ディノ社内のバージョン管理は主にSubversionを利用しています。また、社内の開発環境はWindowsとMacとLinuxが入り乱れています。そんな環境で、一番問題が少なそうなSubversionの設定を考えてみました。現在これを社内標準として運用していますが、今のところ大きな問題は起きていません。 設定内容ですが、auto-propsとglobal-ignoresの設定です。各種ファイルについて、eol-style=nativeやkeywords=Idやsvn:mime-typeなどを設定します。 ちなみに、本設定はsymfonyの公式オススメ設定「Symfony Repository Tips」から大半を流用しています。 設定内容 設定内容はsubversion-config.txtの通りです。同じ内容を以下に貼付けておきます。 [helpers] #diff-cmd = dif
本連載では,次世代のエンタープライズ・プラットフォームを支える言語として,このところ最も注目を集めている言語「Scala」の魅力をお伝えしていきたいと思います。Scalaは,技術的にもかなり刺激的で,楽しい言語に仕上がっています。最初の一歩から刺激的な技術解説まで,幅広くScalaのおもしろさ,楽しさをお伝えしたいと思います。 第1回 なぜScalaなのか? 第2回 Scalaの基本的な文法 第3回 Scala言語を探検する(1) 第4回 Scala言語を探検する(2) 第5回 Scala言語を探検する(3)関数型言語としてのScala 第6回 Scala言語を探検する(4)Scalaの型システム 第7回 関数脳のつくり方 First Season 第8回 Scala DSLでできること 第9回 Scala DSL事始め(前編) 第10回 Scala DSL事始め(後編)
Java仮想マシン上で動くオブジェクト指向+関数型言語として、Scala(スカラ)が最近注目を集めています。Scalaで構築されたWebアプリケーションフレームワークはいくつかありますが、 本連載ではその中で比較的歴史のある(といっても2年程度ですが) フレームワークである、Lift(リフト)を紹介したいと思います。 はじめに Java仮想マシン(以下JVM)上で動くオブジェクト指向+関数型言語として、Scala(スカラ)が最近注目を集めています。 Scalaで構築されたWebアプリケーションフレームワークはいくつかありますが、 本稿ではその中で比較的歴史のある(といっても2年程度ですが) フレームワークである、Lift(リフト)を紹介したいと思います。 対象読者 Javaは知っているが、Scalaも学んでみたいと思っている方 ScalaでのWebアプリケーション開発に興味がある方 必要な
BrewersCapTheorem - ブリュワーの CAP 定理 目次 この文書について ブリュワーの CAP 定理 - Amazon と eBay のクールエイド ブリュワーの(CAP)定理 一貫性 (Consistency) 可用性 (Availability) 分割耐性(Partition Tolerance) 定理の重要性 図解で証明 CAP と折り合う 1. 分割耐性を諦める 2. 可用性を諦める 3. 一貫性を諦める 4. BASE に跳ぶ 5. 問題をかわして設計する まとめ 参考文献 ブリュワーの CAP 定理 この文書について "Brewer's CAP Theorem - The kool aid Amazon and Ebay have been drinking" の日本語訳です. http://www.julianbrowne.com/article/view
Private content!This content has been marked as private by the uploader.
ベンチャー企業の独Ipoqueは9月7日(ドイツ時間)、オープンソースのディープパケットインスペクション(DPI)エンジン「OpenDPI」を発表した。DPIに関するディスカッションを奨励し、ユーザー啓蒙につなげていきたいとしている。 OpenDPIは、Ipoqueが商用で提供しているトラフィック分類技術「Protocol and Application Classification Engine(PACE)」を土台としたもので、アプリケーションプロトコルに応じてパケットを分類・分析できる。PACEと比較すると機能が制限されており、暗号化されたプロトコルに対応しておらずIPv6にも未対応だが、今後開発を進めていく。 DPIは個々のネットワークパケットを分析してネットワークを保護する手法だが、ネットワークの中立性やオンラインプライバシーなどの面から議論がある。Ipoqueでは、DPIエンジン
In June of 2004, during the WWDC keynote address, Steve Jobs revealed Mac OS X 10.4 Tiger to developers and the public for the first time. When the finished product arrived in April of 2005, Tiger was the biggest, most important, most feature-packed release in the history of Mac OS X by a wide margin. Apple's marketing campaign reflected this, touting "over 150 new features." All those new feature
開発者John Resig氏は8月26日、JavaScript向けのテストツール「TestSwarm」を発表した。Mozilla Labsプロジェクトとして開発を続けていくという。TestSwarmのプロジェクトサイトでアルファ版が公開されている。 TestSwarmは、JavaScriptコードのテストを複数のWebブラウザで連続して行うツール。JavaScriptテストツールの拡張性という課題に対応することを目標にResig氏が始めたプロジェクトである。当初jQueryの下で開発が進められ、その後Mozilla Labsプロジェクトとなった。 TestSwarmは複雑で時間のかかるJavaScriptコードのテストスイートを複数のブラウザで、できるだけ簡単に実行することを目標としている。TestSwarmは分散型のアーキテクチャを採用しており、TestSwarmはサーバーとして動作する
This webpage was generated by the domain owner using Sedo Domain Parking. Disclaimer: Sedo maintains no relationship with third party advertisers. Reference to any specific service or trade mark is not controlled by Sedo nor does it constitute or imply its association, endorsement or recommendation.
Cookies help us deliver our services. By using our services, you agree to our use of cookies. OK Learn more FlatWorld will be closed on Monday, May 27, 2024 for Memorial Day. Customer Service will respond to inquiries as soon they are able. We wish you all an enjoyable and safe holiday weekend! Customer Support Hours
警視庁は7日、親族から捜索願が出されている歌手で俳優の酒井法子(本名・高相法子)容疑者(38)について、覚せい剤を所持していた疑いが強まったとして、覚せい剤取締法違反(所持)容疑で逮捕状を取った。警視庁が酒井容疑者の東京都港区の自宅を家宅捜索したところ、微量の覚せい剤が見つかったという。 酒井容疑者の夫で自称プロサーファーの高相祐一容疑者(41)はJR渋谷駅近くの路上で3日未明、覚せい剤取締法違反(所持)容疑で現行犯逮捕された。酒井容疑者は逮捕現場近くに姿を見せた後、長男(10)とともに消息が不明になり、高相容疑者の親族が4日午後、警視庁赤坂署に捜索願を出していた。 酒井容疑者の携帯電話の電波は4日午後3時ごろ、山梨県身延町付近で確認されたが、その後は電源が切れた状態という。 一方、長男は6日夜に都内で無事が確認された。赤坂署によると、酒井容疑者に頼まれた知人が3日から長男を預かっていたと
親族から捜索願が出されている歌手で俳優の酒井法子さん(38)の携帯電話の電波が、4日午後に山梨県内で途切れていたことが警視庁の調べで分かった。警視庁赤坂署は、同県内を中心に酒井さんと長男(10)の行方を捜している。 警視庁によると、酒井さんの夫の高相祐一容疑者(41)が3日未明、覚せい剤取締法違反(所持)容疑で逮捕された。その後、酒井さんと所属事務所は連絡が付かなくなり、親族が4日午後1時半ごろ、赤坂署に捜索願を出した。 警視庁が酒井さんの携帯電話の使用状況などを調べたところ、山梨県で電波が途絶えていた。山梨県内には酒井さんの知人が住んでおり、立ち寄った可能性もあるとみて調べている。【町田徳丈、古関俊樹】
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く