お探しのページは見つかりません | 渋谷区ポータル
お探しのページは移動または削除されたかURLの入力間違いの可能性があります。 正しいURLをご指定いただくか、下記よりご覧になりたい情報をお探しください。
yebo blog: TLS 1.0に深刻な弱点が見付かる
2011/09/20 TLS 1.0に深刻な弱点が見付かる セキュリティ研究者のThai Duong氏とJuliano Rizzo氏は、TLS 1.0/SSL 3.0を使っているウェブサイトで、攻撃者にエンドユーザとウェブサイト間に流れるデータを気付かれずに復号化できるという深刻な弱点を発表するそうだ。今のところ、TLS 1.1や1.2は影響はないとのこと。今週、ブエノスアイレスで開催されるekopartyセキュリティ会議で、両氏はBEAST (Browser Exploit Against SSL/TLS)と呼ばれるコードでそのデモを行うそうだ(デモは23日)。Duong氏は、デモではPayPalアカウントにアクセスするために使われる認証用のcookieを復号化すると語っている。このBEASTは、標的となるブラウザにBEASTのクライアント側のJavaScriptコードを埋め込み、中間(
ウォーターサーバー・宅配水なら売上高シェアＮｏ.１のクリクラ
自然の水が、安心とは限らない。 だから、クリクラの水は純水になるまで 徹底的に濾過した、”ROミネラル水”。 56項目の厳しい水質安全基準を満たしたものだけに 良質なミネラルを加え、おいしい水へ。
暮らしの情報サイトnanapiはサービスを終了いたしました | nanapi [ナナピ]
2020年8月31日(月)をもちまして、nanapiに関わるすべてのサービスは終了いたしました。 nanapiは、2009年のサービス開始より「みんなで作る暮らしのレシピ」という考えのもと、ユーザーの皆さまに生活に関する様々な「ハウツー」を投稿していただく投稿型ハウツーサービスとして運営してまいりました。 約11年間にわたって皆さまからご支援をいただきサービスを継続できたこと、nanapi編集部一同、心より御礼申し上げます。 掲載されていたコンテンツなどのnanapiについてのお問い合わせは、nanapi@supership.jp までお願いいたします。 長きに渡りnanapiを応援してくださり、本当にありがとうございました。
暮らしの情報サイトnanapiはサービスを終了いたしました | nanapi [ナナピ]
2020年8月31日(月)をもちまして、nanapiに関わるすべてのサービスは終了いたしました。 nanapiは、2009年のサービス開始より「みんなで作る暮らしのレシピ」という考えのもと、ユーザーの皆さまに生活に関する様々な「ハウツー」を投稿していただく投稿型ハウツーサービスとして運営してまいりました。 約11年間にわたって皆さまからご支援をいただきサービスを継続できたこと、nanapi編集部一同、心より御礼申し上げます。 掲載されていたコンテンツなどのnanapiについてのお問い合わせは、nanapi@supership.jp までお願いいたします。 長きに渡りnanapiを応援してくださり、本当にありがとうございました。
fu_mou | Green Night Parade EP
fu_mouがやってきた！ヤァ！ヤァ！ヤァ！ 既にフロアアンセムと化しているGreen Night Paradeを引っさげての待ちに待ったリリース。 Preludeから始まる5曲、そしてPandaBoYによるリミックスを含めた全6曲、そうです、音楽ってのはこんなにも楽しいものなんです。 美しく刻まれたLantern Paradeのリミックスからフロア号泣必至のカービィネタアンセムGreen Night Paradeまで、 このEPは僕らにあらゆるポップを提示してくれている。 2011年、5番目の月、12番目の日、今日ここで始まったグリーンに輝く小さなパレードにみんなで笑って涙しよう。 奇跡も、魔法も、あるんだよ。 文章: RE:NDZ a.k.a. kz (livetune)
同窓会
01 voicesr 02 sugarcube 03 rotpecer 04 dish washing 05 everywhere ◆Download (Zip file for Free !!!!!!)◆ Baramycinが、 アコースティックとエレクトリックの交差する大傑作を提供！！！！！！ ギターの音と交わる電子音・・・ 様々な環境音や、ベルの音・・・ 独特のリバースサウンド・・・ まさにFour tetやToro Y Moiが表現しようとした世界に通じるものだ！！！！！！ しかもそれでいて、ポップなんです。 五感直撃型のサウンドで、カフェインのようなアルバム。 Baramycinが、君の視界を拡げる！！！！！！ Soundcloud : http://soundcloud.com/baramycin ■TOPへ 01 拝啓 02 ウルトラヴァイオレンス
売りビル･一戸建て～リノベーション&デザイナーズ賃貸まで/東京スタイルCC
CLOSE menu HOW TO 東京スタイルCC 物件のお問合せ・内覧希望 東京スタイルCCについて 東京スタイルCC物件推しキャラ 賃貸＆売買物件募集 内覧会 リノベーション情報 メディア紹介 CLOSE キーワードで記事を検索 CLOSE 新着物件❣ For RENT 丹精込めたリノベの家～副都心線＠西早稲田 2024.06.14 admin ￥112,000／32.13㎡／駅7分 For RENT 下町でホテル開業！～京成押上線＠京成曳舟 2024.06.13 admin ￥176,000／41.26㎡／駅8分 For RENT 隠れ家っぽい地下付きサロン～大江戸線＠門前仲町 2024.06.12 admin ￥154,000／40㎡／駅4分 For RENT ４つの窓で眺めを満喫～南北線＠王子神谷 2024.06.10 admin ￥118,000／36.85㎡／駅4分 For
OCaml のパッケージシステム OASIS を使ってみた - camlspotter’s blog
この文書は新情報が入り次第、適時更新します。 今日も OCaml ライブラリのソースをダウンロードするところから始めている皆さん、こんにちは。 はっきり言って、面倒ですよね。一度ダウンロード、コンパイルに成功したら、それのソースツリーを置いておけばそれまでなんですが、 他のマシンでコンパイルしたくなったりしますよね。 私はブチ切れて OMake で指定 URL からダウンロードして apt-get+configure+make+install までオンデマンドでやっちゃうシステムを組みました。 マシンが変わっても omake 一発で全部やってくれるのが気持ちいいです。 ( https://bitbucket.org/camlspotter/omy/overview ) それでもやっぱり、ライブラリがバージョンアップしたら、また始めからソース取ってきて確認、は変わりません。 そうなるとやっぱ
GODI - Ocaml for Everybody
GODI is discontinued. This is the archived content of the former site godi.camlcity.org. GODI bundles the Ocaml compiler with a large list of add-on packages, and serves as a development platform for Ocaml applications. GODI makes it very easy to install open source libraries for all kinds of development areas on your computer. It is intended as a daily toolkit for developers who are mainly intere
omake: OCamlフレンドリーな超強力ビルド ツール - camlspotter’s blog
omake という make のパチモンみたいなものがある。だが、「おまけ」の癖にこれが素晴らしいツールなのだ。私が仕事でOCamlプログラムを書く時には必ずこれを使う。 念のために言っておくと、OCamlMakefile という、OCaml でよく使う定義を集めた Makefile 集のようなものがあるが、これは omake ではない。omake は超強力 make コマンドだと思ってもらえれば良い。 詳しいチュートリアルを書くつもりはない。それは omake の作者にまかせて、特徴を並べよう: OCamlプログラムをコンパイルする際のルールが既に登録されている。.SUFFIXES: .ml などと書く必要はない。 依存解析が自動かつ強力。依存ルールを書く手間が大幅に減る。 ディレクトリを跨いだプログラムのビルド。依存解析は OMakeroot ファイルの存在するディレクトリを頂点として
技術者／プログラマのためのラムダ計算、論理、圏 第3回に行ってきた
実は第2回にも行っていたんだけど内容をまったく咀嚼できず、そのうちやろうと思っているうちに第3回が開催されてしまった ^^; 第2回 ラムダ計算と停止性問題 第2回は、主にラムダ計算について。前回の復習からはじまって、回路図のような絵を交えながらラムダ抽象化につなげていき、最後はJavaScriptのようなCのような疑似コードを使って、チューリングマシンの停止性問題を背理法で証明して終わった（と思う）。詳しくは、檜山さんのBlogに書いてあるので、そちらを見た方が良いと思う。 セミナー資料 紙芝居：ラムダ抽象 セミナー非参加者にもわかるリアルワールド向けラムダ計算 なぜ停止性について話したのか？ 第3回 自然演繹と型付きラムダ計算、カリー／ハワード対応 第3回は、カリー・ハワード対応についての感覚的な理解がゴール。第2回とはうってかわって論理を中心に話をすすめていき、論理でやっていることが
OCamlのまなびかた～型付きラムダ計算って何だ？ - 浜村拓夫の世界
OCamlの勉強方法についてアドバイスがあった。 OCamlのまなびかた - まあ、そんなもんでしょう。 OCamlには日本語の本が３冊あります。じっくり勉強したい人には本という媒体が適していると思います。「プログラミングの基礎」はプログラミングそのものも一緒に学びたい人向け。OCaml自体を勉強したいなら「プログラミング in OCaml」。手っ取り早く応用してみたい人は「入門OCaml」。 英語ですがマニュアルを読むと全体像が分かって来て安心できます。OCamlに関する丁寧で完全な一次元情報はこれしかないといってもよく、隅から隅まで有用です。 [追記]OCamlとかHaskellのようなML系の言語に初めて触れる人は、型付きλ計算について少し予備知識を持つと、理解が深まると思います。 ・日本語の本を読む。 ・英語のマニュアルには、詳しく解説してある。 ・型付きλ計算について予備知識を持
InstagramのPivot（方向転換）や成功要因を共同創設者が明かす – TechDoll.
2010年10月のローンチからわずか3ヶ月で100万ユーザを獲得したInstagram。 現在の登録ユーザ数は900万人、1,000万人にも遠くない。そんなレジェンドアプリのInstagram共同創設者Kevin Systromが Future of Mobile Conferenceで話した内容。TheNextWebの記事。 －最初のアプリ“Burbn”から学んだこと Instagramの前、現在地や写真を共有できるソーシャルチェックインアプリをつくった。小規模なユーザベースにそこそこウケていたものの、複雑で特徴もなく、遅かった。アプリそのものは悪いアイディアじゃなかったけど、その分野に何も新しさをもたらしてなかった。結局BurbnがInstagramを成功させる前のテストアプリのような役割を果たした。 鍵は、‘unexpected behaviors’ （予想されない行動）を特定し、作
TechCrunch
In India, few events garner as much attention as a cricket game. A high-profile match between neighbors India and Pakistan delivered a much-needed break for Disney’s Hotstar, which has lost over
【楽天市場】【2011年NEWモデル】オニツカタイガー5031 タイイク TAIIKU[ネイビー/マスタード］Onitsuka Tiger：Trek Cube
1960年代に開発された「体操シューズ」のデザインをベースにしたスリッポンモデル、『TAIIKU』です。 インドア専用のシューズをタウンユース用にアレンジしているのが特徴です。 簡単に脱ぎ履きできるようなシンプルなデザインがうれしいですね。 ペッタンコなフォルムはコンパクトサイズに収容可能で、多目的に使えるのもポイントです。 トラベルシーンにもおすすめです。 このクツ大きめ？小さめ？ 【サイズ選びに困ったら】 当店のスタッフが試し履きをし、目安表を作成しました。購入時のご参考にご利用下さい。
Restler | Luracast
Just deal with your business logic in php, restler will take care of the REST! Turn your classes and its methods into an easily usable and better Web citizen with Restler. A RESTful API server framework that is written in PHP that aids your mobile / web / desktop applications. A framework, but with a difference – Restler is all here to bend and mend to your needs Writing Server made easy and light
OCamlのまなびかた - まぁ、そんなもんでしょう。
いけがみさんが素晴しいエントリをあげてらっしゃいます。Inemuri nezumi diary(2009-05-03)。そこで「OCamlのまなびかた」について思うところを改めて書きます。 まず、Web上のチュートリアルを読めば、ざっくりOCamlがどういう言語なのか分かるかと思います。次の二つがお勧めです。 http://www.ocaml-tutorial.org/jaObjective Caml 入門 一緒にOCamlをインストールして使ってみながら学べば、より効率的です。 $ sudo apt-get install ocaml; sudo apt-get install ocaml-mode lennyのパッケージは3.10系でバージョンが一つ古いので、こだわる人はLatest Objective Caml releaseからソースを取って来てコンパイルして下さい。./confi
MessagePack for OCamlを公開しました - みずぴー日記
くえにしさん([twitter:@kuenishi]さん)に誘われたのでMessagePackハッカソンに参加してきました。 MessagePack本体のレポジトリにMessagePack for OCamlを取り込んでもらったので、みんな使ってください! MessagePackって? JSONやYAMLと同程度の表現能力をもった省スペースなオブジェクトシリアライザです。対応言語もC/C++/Java/D/Ruby/Haskellなどと非常に多いです。 対応言語言一覧 → http://wiki.msgpack.org/display/MSGPACK/QuickStart 公式Wikiの採用実績によると、かなりメジャーなプロジェクトも採用されているようです。実際、ハッカソンにも仕事で利用されている方が結構来ていました。 実はボクたちの作っているチャットアプリのAsakusaSatellit
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
アメーバピグのソープランドワロタｗｗｗｗｗｗｗｗｗｗｗ : キニ速
メニュー・品書き : ビーフキッチン Beef Kitchen[食べログ]
クックパー®フライパン用ホイル｜クックパー® ｜商品紹介｜旭化成ホームプロダクツ
GitHub - lilac/ivy-web: A lightweight haskell web framework
GitHub - ocaml/oasis: Cabal like system for OCaml
http://www.mp32tube.com/
Camomile : A Unicode library for OCaml
サービス終了のお知らせ
anarchy proof -