Welcome to the edge of inventionThis is where you find technology as pioneering as your own work. For us, quantum computing isn’t the next big thing; it’s the next big everything. That’s why our AI and ML-infused solutions give you the power to do more. Click on the numbered points to see how it all comes together. Learn More The Machine1ShellWhen the computer is operational, five casings (like th
A short, sweet, and funny visual novel that is much smarter than it looks but still far from brilliant. Sometimes, when browsing the new releases on Steam, a game will catch your eye for reasons that you wouldn’t expect. It might be an anticipated title that released while you weren’t looking, or a new entry in a franchise or genre that compels you to investigate further. Or, in Stay! Stay! Democr
We've detected unusual activity from your computer network To continue, please click the box below to let us know you're not a robot. Why did this happen? Please make sure your browser supports JavaScript and cookies and that you are not blocking them from loading. For more information you can review our Terms of Service and Cookie Policy. Need Help? For inquiries related to this message please co
Writing parsers like it is 2017 Pierre Chifflier Agence Nationale de la Sécurité des Systèmes d’Information Geoffroy Couprie Clever Cloud Abstract—Despite being known since a long time, memory violations are still a very important cause of security problems in low-level programming languages containing data parsers. We address this problem by proposing a pragmatic solution to fix not only bugs, b
各国の主要大学を対象とした各種ランキングが毎年発表されるようになり、国立大学でさえも、大学間競争を勝ち抜くために、大変な努力が求められる時代となりました。 本務校でも研究戦略室というものが設けられ、学内の研究力を如何にして高めるかについての議論が行われています。 本日は、この会議に参加させていただき、いろいろな意見交換をすることができました。本学は、医学・芸術・体育までも含む総合大学なので、まったく異なる背景を持つ各領域から、多様な意見が出され面白く思いました。 私自身は、一にも二にも研究時間の確保が効率的なアプローチだと思っていて、この考えは出席者に完全に共有されるものと思っていたのですが、意外とそうでもないということがわかり、かなり驚きました。 私自身の研究はあまり予算を必要とせず、かなり個人プレーなところが多いので、何よりも時間が大事と感じていますが、研究予算の確保、研究に対するサポ
Programming Language Theory Learning about Programming Language Theory can be a tough journey, particularly for programming practitioners who haven’t studied it formally. This resource is here to help. Please feel free to get in touch if you have ideas for improvement. 💡 Top Tips For a quick course in Type Theory, Philip Wadler recommends: Types and Programming Languages, Proofs and Types, follow
コンパイラを作ってみたいと思っていても、アセンブリ言語はよくわからない。 パーサーみたいなコードは書いたことがあるけれど、コード生成の処理はさっぱりだ。 実行ファイルをバイナリエディターで見るとかなにそれ怖い。 そんな私なのですが、LLVMに興味を持ち始めています。 SwiftやRust、あるいはEmscriptenなど、近年注目されている言語やコンパイラ技術の中枢にはLLVMがあります。 アセンブリはよく分からなくてもLLVMを使いこなせるようになれば、マルチプラットフォームで実行ファイルを生成できる言語処理系を作るのではないか。 コンパイラ作ってみたいな、LLVMを使ってみようかなと思っている今日このごろです。 ところが、いざLLVMを勉強しようと思ってもどこから始めればいいかよく分かりませんでした。 マニュアルは巨大で読む気が起きないし、リファレンスを見てもさっぱりです。 雰囲気はわ
Remzi H. Arpaci-Dusseau and Andrea C. Arpaci-Dusseau (University of Wisconsin-Madison) NEW: Security Chapters by Peter Reiher (UCLA) Welcome to Operating Systems: Three Easy Pieces (now version 1.10 -- see book news for details), a free online operating systems book! The book is centered around three conceptual pieces that are fundamental to operating systems: virtualization, concurrency, and pers
「ウェブリブログ」は 2023年1月31日 をもちましてサービス提供を終了いたしました。 2004年3月のサービス開始より19年近くもの間、沢山の皆さまにご愛用いただきましたことを心よりお礼申し上げます。今後とも、BIGLOBEをご愛顧賜りますよう、よろしくお願い申し上げます。 ※引っ越し先ブログへのリダイレクトサービスは2024年1月31日で終了いたしました。 BIGLOBEのサービス一覧
The existence of libraries with nice, user-friendly interfaces is one of the most important factors when choosing a programming language. Here are some tips on how to write libraries with nice APIs in Rust. (Many of the points also apply to other languages.) You can also watch my talk at Rustfest 2017 about this! Update 2017-04-27: Since writing that post, @brson of the Rust Libs Team has publishe
こんにちは!はてなアプリケーションエンジニアの id:takuya-a です。 みなさんは、このような疑問をもったことはありませんか? grep はどのように文字列を検索しているのか? MeCab はどうやって辞書を高速にルックアップしているのか? パーサやコンパイラを作りたいけど、何から始めればいいのか? 本稿では、「文字列アルゴリズムとはどんなものなのか?」「なぜ重要なのか?」「何を知っておくべきか?」「どうやって勉強すればいいのか?」といった疑問にお答えしていこうと思います。 文字列アルゴリズムの意外な応用や、モチベーションを保ちやすい勉強のしかた、文字列アルゴリズムを勉強するために行った社内での取り組み、実装するときのコツといったトピックについても触れています。 このエントリは、はてなエンジニアアドベントカレンダー2016の22日目の記事です。昨日は id:syou6162 さんに
Vol. 14, No. 3 2007 218–225 “ ” ∗ Invitation of All People to Statistical Physics Sumio Watanabe Tokyo Institute of Technology∗ 1. ∗∗ ∗ 226-8503 4259 ∗∗ 2. 0 219 2.1 R n Rn Rn = {(x1, x2, ..., xn) ; |xi| < ∞ (∀i)} n x = (x1, x2, ..., xn) �x� = � x2 1 + x2 2 + · · · + x2 n n En En = {x ∈ Rn ; �x� < ∞} n Rn = En . 2.2 n ∞ R∞ = {(x1, x2, ..., xn, ...) ; |xi| < ∞(∀i)} x = (x1, x2, ..., xn, ...) �x� =
Reenix: Implementing a Unix-Like Operating System in Rust Alex Light (alexander light@brown.edu) Advisor: Tom Doeppner Reader: Shriram Krishnamurthi Brown University, Department of Computer Science April 2015 Abstract This paper describes the experience, problems and successes found in implementing a unix-like operating system kernel in rust. Using the basic design and much of the lowest-level sup
この記事は言語実装 Advent Calendar 2016の9日目ために書かれました。 最近僕はcall-by-needに関連する研究をしており、気分を理解するためにcall-by-needを採用した言語のインタプリタをStandard MLで実装したりしました。今回はその時の事でも記事にしておきましょう。 Call-by-needとは? Call-by-needとは、評価戦略の一種です。評価戦略と言えばcall-by-valueとcall-by-nameが有名でしょう。 Call-by-valueは最も右側のredexから簡約する評価戦略で、例えば(λx. x x) ((λx. x) (λx. x))は (λx. x x) ((λx. x) (λx. x)) → (λx. x x) (λx. x) → (λx. x) (λx. x) → λx. x と簡約されます。ちなみにλの中は簡約
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く