リクエスト予約希望条件をお店に申し込み、お店からの確定の連絡をもって、予約が成立します。 1 予約の申し込み ご希望の条件を当サイトよりご入力ください。 2 お店からのメール ご予約が承れるか、お店からの返信メールが届きます。 3 お店へ来店 予約が確定した場合、そのままお店へお越しください。
![眞実一路 (三河島/中華料理)](https://cdn-ak-scissors.b.st-hatena.com/image/square/9917c943dfac5d661d2d294fc17493370f88873f/height=288;version=1;width=512/https%3A%2F%2Ftblg.k-img.com%2Fresize%2F640x640c%2Frestaurant%2Fimages%2FRvw%2F44026%2F44026784.jpg%3Ftoken%3Dc7bdc3a%26api%3Dv2)
Proof Summit 2015 <http: /> で発表した、SAT/SMTソルバの仕組みです。 Proofということで、論理学的側面からの面白さを出来るだけ紹介しています。
Java Generics are Turing Complete Radu Grigore University of Kent, United Kingdom Abstract This paper describes a reduction from the halting problem of Turing machines to subtype checking in Java. It follows that subtype checking in Java is undecidable, which answers a question posed by Kennedy and Pierce in 2007. It also follows that Java’s type checker can recognize any recursive language, which
はじめまして。もも(id:happydust)と申します。 登山と温泉を絡めた一人旅にはまり、「山と温泉のきろく」というブログを書いています。もともと1人で温泉宿に泊まるのが好きで、特に山あいの温泉がお気に入りです。 山の温泉には、登山道を何時間か歩かないとたどり着けない宿がいくつもあります。例えば、八ヶ岳(山梨〜長野)にある日本最高所の野天風呂、本沢温泉もその1つです。 標高2,150メートル地点にある、本沢温泉の野天風呂「雲上の湯」 登山を始める前は、こういった宿に泊まってみたいなあと思いつつも、「でも1人だし、登山装備も持ってないし……」と何もせずに数年間グズグズしていました。 しかし、2011年4月にようやく重い腰を上げて登山ライフをスタート。登山歴は2018年4月で丸7年になります。今では、本沢温泉もすっかり行きつけの宿になりました。 山中の温泉に行きたいと思いつつ「登山を始める
Semantics of Asynchronous JavaScript Matthew C. Loring Google Inc, USA mattloring@google.com Mark Marron Microsoft Research, USA marron@microsoft.com Daan Leijen Microsoft Research, USA daan@microsoft.com Abstract The Node.js runtime has become a major platform for de- velopers building cloud, mobile, or IoT applications using JavaScript. Since the JavaScript language is single threaded, Node.js p
多分すごく限られた層にだけ響くツール「kube-etcd-helper」を作りました。 kube-etcd-helperは、kube-apiserverが利用しているetcdに直接アクセスし、 データのダンプや変更の検知を行うためのツールです。 kubernetesの全体のデータの動きを知りたい方や、kubernetesを開発プラットフォームとして利用するインフラエンジニアの方などは便利にお使いいただけると思います。 kube-etcd-helper Kubernetesオブジェクトの中身を見るには Kubernetesオブジェクトとは、Kubernetesのクラスタの状態を表す永続化されるエンティティのことです。 podとかserviceとかdeploymentなどですね。 Understanding Kubernetes Objects これらは通常kube-apiserverによって
「全自動卓で天和*1を可能にするたった1つの冴えたやり方」 「大事な事は全部 バード〜砂漠の勝負師〜 が教えてくれた」 「バード〜砂漠の勝負師〜に見る良いトマトの作り方」 辺りをタイトルにしようと思ったんだけど、まとまらないのは目に見えているので穏当なものとした。まぁ率直に言うと僕この漫画好きなんですよ。なので読む人が一人でも増えたらなということで、あの、紹介します。 ◆あらすじ ラスベガスの凄腕のマジシャン『バード』が伝説の代打ち『蛇』と麻雀で対決する。全自動卓で不敗を誇り、ガード不能の超必殺技「全自動卓天和」を使いこなす『蛇』に対し、どう挑む? つまるところ、麻雀漫画です。 が、やれ「何らかの選ばれし強運」とか「麻雀的戦術」とか「打ち回し」「読み」「色の偏り」「鉄壁の爆守備」とか「神様っ……どうか渡らせて下さいっ……一度でいい、この、逆転へのか細いタイトロープっ……」とか「その思考、嵌
 TL;DR; 「分散ロック」が分散システムの設計図に登場した時 だいたいその設計は間違っていて本当に必要なものはトランザクションだ 並行システムを実装する際にロックを用いるのはとても自然なことだ。 僕も普段はロックフリー系のアルゴリズムに詳しいと言われがちだが知識量でいったら実はロック系の方が多く蓄えているかも知れない。 分散システムは並行システムであることが多いので、その中にロックが登場するのはとても自然な発想である。 よく「分散」「並行」「並列」の言葉の定義がごっちゃになっているケースがあり、この記事の主題にしたいわけではないので深くは言及しないが、分散システムは環境などの要因で突如として参加者が音信不通になったり復活したりする点で並行システムと大きく異なる。 並行システムと同じノリで分散システムを設計しようとした際に陥る頻出の過ちが「分散ロック」である。そのアイデアはとても簡単で
ども、@kimihom です。 今回は私が今まで開発して来た個人開発と、そこで学んだ次の可能性について記していく。 個人で開発したアプリで食っていく 今でもちょくちょく個人開発をしている方をよく見かける。安定した仕事に勤めていた頃、私もその個人開発者のうちの一人だった。週末や空き時間があれば、ひたすらスマホアプリを開発し、私が作ったアプリの合計は十数個にのぼる。最初はゴミみたいなアプリを量産してたわけだけど、経験を積むにつれていいアプリを作る感覚を持てるようになって、1つだけ当たったアプリ(個人開発で15万DL 超えのアプリ)を作ることができた。この"当たるアプリを作る感覚"ってのは、アプリのアイディアそのものであったり、開発だけでないデザインやストアに掲載する文言やSEO、シェアされる仕組み、その他運用テクニックなど多様なものだ。 個人開発を可能にした背景に、スマートフォンアプリの流行が
【翻訳】JSON Web Tokenライブラリの危機的な脆弱性 Written on Sep 14, 2015. Posted in Web Technologies 以下の内容は、JSON Web Tokenを扱うライブラリの脆弱性に関する報告内容を和訳したものです。 https://auth0.com/blog/2015/03/31/critical-vulnerabilities-in-json-web-token-libraries/ JSON Web Tokenライブラリの危機的な脆弱性 最近、いくつかのJSON Web Token実装のセキュリティについてレビューしていた間に、私は検証処理をバイパスする攻撃が可能な危機的な脆弱性を持つ多くのライブラリを発見しました。多くの実装や言語を横断して、同じ2つの欠陥が見つかりました。そして、問題が起こる場所を書き上げることが助けになると
Rails Developers Meetup 2018
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く