Writing Your Own Toy Compiler Using Flex, Bison and LLVM
Writing Your Own Toy Compiler Using Flex, Bison and LLVM Update (March 19 2010): this article was updated for LLVM 2.6 thanks to a great patch by John Harrison. He rocks! I’ve always been interested in compilers and languages, but interest only gets you so far. A lot of the concepts of compiler design can easily go way over most programmers’ heads, even the intelligent ones. Needless to say, I’ve
【メシ通のそうめん祭り】「ささみのよだれ鶏風そうめん」は、鶏の蒸し汁で作るレンチンピリ辛ダレがたまりません【Yｕｕ】 - メシ通 | ホットペッパーグルメ
こんにちは、料理研究家のYｕｕです。 メシ通のそうめん祭り、本日ご紹介するのは「ささみのよだれ鶏風そうめん」。 夏になると、鶏肉をよだれ鶏風の即席ピリ辛ダレでよく食べるのですが、このタレは絶対そうめんにも合うはず、ということで生まれたアレンジそうめんです。鶏ささみを電子レンジでチンして、その蒸し汁で作る合わせダレと一緒にそうめんかけるだけと、とっても簡単。お好きなお野菜もたっぷりのせてくださいね。 Yｕｕの「ささみのよだれ鶏風そうめん」 【材料】（2人分） そうめん 2人分 鶏ささみ 3本（150g） トッピング（刻みネギ、カットしたミニトマトなど） お好みで適量 （A） 酒 大さじ1 塩 少々 （B） 長ネギ（粗みじん切り） 1/2本分 しょうゆ、酢 各大さじ1と1/2 白いりごま、はちみつ、ごま油、ラー油 各小さじ2 おろしにんにく（チューブ） 1～2cm 作り方 1. 耐熱容器に鶏さ
IIJ Research Laboratory
ネットワークの計測と解析 インターネットの使われ方やネットワークの挙動を把握する事は、ネットワークを運用し、その技術開発を行う ために欠かせません。しかし、観測で得られるデータ量は膨大ですがノイズが多く、また、観測できるのは極めて限られた部分でしかありません。そこで、膨大なデータから意味のある情報を抽出したり、部分的な観測からより一般的な傾向を推測する事が必要となります。... インターネット基盤技術 速くて、安全で、信頼性が高く、使いやすく、など、インターネットサービスへの要求はますます高まっています。これらの要求に応えるために、インターネットの 基盤技術も日々進歩しています。いまやインターネットはつながるだけのサービスではなく、高度で複雑な機能を備えた社会基盤となりました。IIJ技術研究所は、インターネットの基盤として実現が期待される機能を提供するために、さまざまな技術課題に取り組んで
テスト駆動開発から証明駆動開発へ #JTF2019 / July Tech Festa 2019
July Tech Festa 2019 で使用したスライドです。 近年、テストを書く文化は広く普及しており、開発フローにおいて自動テストを組み込むことはもはや常識となりました。しかしよく考えてみると、有限個のテストケースが保証しているのは、所詮「特定の有限個の入力に対する出力」にしか過ぎません。では「あり得る全ての入力」に対してプログラムの性質を保証することは果たして可能でしょうか？ この問いに対する答えのひとつが「定理証明」と呼ばれる手法です。定理証明では、数学的な「証明」をプログラム上でエンコードすることにより、真に「全ての入力」を扱うことができます。本セッションではこの定理証明を取り上げ、従来のテストとの考え方の違いや具体的な適用方法について、サンプルを交えつつ解説します。 イベント概要：https://2019.techfesta.jp/speakers#A10
オンラインセミナー「RDS+Lambda が始まる。過去のアンチパターンはどう変わるのか」 資料および QA 公開 | Amazon Web Services
「Amazon RDS Proxyのご紹介」の資料において下記の部分を当日のセッション資料から修正しております。 ・P.12 DDLステートメントの動作に関し MySQL の動作だけの記載だった部分をMySQL / PostgreSQL 個々の動作を記載する様に修正 当日ご参加頂いた皆様、大変申し訳ございませんでした。また、ご指摘頂いたお客様、ありがとうございます。 Q. RDS Proxy 自体は単一障害点にはならない構成、という理解で良いでしょうか? A. はい。RDS Proxy はインフラストラクチャの障害から保護されるために複数のアベイラビリティゾーン (AZ)にデプロイされますので、単一障害点にはならない構成になっております。 Q. Proxy はVPCを意識しないサービスでしょうか?VPCに何か制限がありますでしょうか? A. RDS Proxy はVPCを意識するサービス
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
初めて学ぶCoq
