■_
ひきこもりないちにち
一つ前へ
2014年7月(下旬)
一つ後へ
2014年8月(中旬)
ひきこもりないちにち
memory safety とは
What is memory safety? | The PL Enthusiast (略) My goal with this post is to work out a definition of memory safety for C that is semantically clean, rules out code that seems intuitively unsafe, but does not rule out code that seems reasonable. The simpler, and more complete, the definition, the better. My final definition is based on the notion of defined/undefined memory and the use of pointers as capabilities. If you have better ideas, I’d love to know them! For the purposes of this post, we are generally considering whether a program execution is memory safe or not. From this notion, we deem a program to be memory safe if it all of its possible executions are memory safe, and a language to be memory safe if all possible programs in the language are memory safe. Not in my house The recent Systematization of Knowledge (SoK) paper, the Eternal War in Memory, exemplifies one common way of defining memory safety. It states that a program execution is memory safe so long as a particular list of bad things, called memory access errors, never occur: buffer overflow null pointer dereference use after free use of uninitialized memory illegal free (of an already-freed pointer, or a non-malloced pointer) 以下略
まあそんなところだろうなあとコナミ感。 そして type safety とは
What is type safety? | The PL Enthusiast What is type safety? Posted on August 5, 2014 by Michael Hicks In response to my previous post defining memory safety (for C), one commenter suggested it would be nice to have a post explaining type safety. Type safety is pretty well understood, but it’s still not something you can easily pin down. In particular, when someone says, “Java is a type-safe language,” what do they mean, exactly? Are all type-safe languages “the same” in some way? What is type safety getting you, for particular languages, and in general? In fact, what type safety means depends on language type system’s definition. In the simplest case, type safety ensures that program behaviors are well defined. More generally, as I discuss in this post, a language’s type system can be a powerful tool for reasoning about the correctness and security of its programs, and as such the development of novel type systems is a rich area of research. Basic Type Safety An intuitive notion of type safety is pithily summarized by the phrase, “Well typed programs cannot go wrong.” This phrase was coined by Robin Milner in his 1978 paper, A Theory of Type Polymorphism in Programming. Let’s deconstruct this phrase and define its parts, considering the second part first. 以下略
Program verification in the undergrad CS curriculum Program verification in the undergrad CS curriculum
品質 - Wikipedia 品質とは - Weblio辞書 Quality | Define Quality at Dictionary.com
コンピューターサイエンスのカリキュラムに不足しているものは? | スラッシュドット・ジャパン デベロッパー 職場で昨日、あるプログラマーが最近のコンピューターサイエンス学部卒業生の品質について話しているのを聞いた。
Ask Slashdot: "Real" Computer Scientists vs. Modern Curriculum? - Slashdot At work yesterday, I overheard a programmer explaining his perception of the quality of the most recent CS grads.
「人」に対して「品質」って使うかなあ…
だいぶ読んでなかった
最新回についてる絵、いいなあw
カップヌードルトムヤムクン。 とあるコンビニで棚にあるのを目撃するも 数時間後に再度行ったときは一個もなし。 他のコンビニでもそれが置かれていたところだけ綺麗に空っぽになってて大笑い。 そんなに売れてるのかアレ。
夏休み。なんですがー
Project Panama builds a bridge between Java and C/C++ | Java programming - InfoWorld
Project Panama builds a bridge between Java and C/C++ | Java programming - InfoWorld Project Panama provides an alternative to JNI (Java Native Interface) for interfacing Java code to code written in unmanaged languages, said Forrester analyst John Rymer. "It seems to be in line with the current emphasis on APIs. In this case, folks who write in C/C++ can provide API access to their applications for Java code."
どっちがどっちというのはさておいて、 太平洋と大西洋(Java世界とネイティブコード(C and/or C++)世界)とを繋ぐ運河 つーことでしょうか。
One Big Fluke › Python, C++, and Go as bicycles
One Big Fluke › Python, C++, and Go as bicycles Python, C++, and Go as bicycles I'm still trying to find the boundaries between Python, C++, and Go when building something new. The split between Python and C++ is a clear tradeoff of bare-metal performance for developer productivity. The split between Go and C++ is easy for me because of scars from templates and the difficulty of concurrent programming in C++.
で。
おまけ
Continuing with the bad joke, Java would be the bicycle factory factory.
pragpub で前号から最初期のコンピューターでのプログラミングを取りあげている記事が載っている。
前号はEDVAC で、金剛今号はUNIVAC-I。
Shop The Prose Garden | The Prose Garden
これなんだけど、
(科学者列伝)1834年の今日8/7 Joseph Jacquardが亡くなった.82歳.
1801年にパンチカードを利用したジャカード織機を発明.
チャールズ・バベッジは,これをヒントにdifference engineを発案されたとされる.
— ryugo hayano (@hayano) 2014, 8月 6
パンチカード云々やジャカード織機云々は解析機関についてじゃないかなー と引っかかるものがあったので調べてみた(つづく)。
英国は各員がその義務を尽くすことを期待する - Wikipedia と皇国の興廃この一戦にあり、各員一層奮励努力せよ | Z旗(ゼットキ) の違いに 日本人と英国人の気質の違いだかなんだかが現れている とかいう意見を見たことがあるけどどうなんだろか。 Z旗 - Wikipedia
松永「弾正」久秀を主役に据えた小説が出ていた。
「腹に落ちる」という言い回しを時々見かけるんだけどどこ発の言葉だろう。
使っている局面からすると「腑に落ちる」と同じなんだけど。
で、調べてみると
腹に落ちるの同義語 - 類語辞典(シソーラス)
腹に落ちる とは - コトバンク
納得がいく。なるほどと思う。 「 - ・ちるやうに言つて聞かせてお呉んなさい/浮雲 四迷」
なんだってー
手元にある電子辞書にはなかったんだがががが(確か大辞林のはず)
腹に落ちるとは? - BIGLOBEなんでも相談室 「腑(ふ)に落ちる」とは? - トクする日本語 - NHK アナウンスルーム
なんかこう、PowerShell を思わせるようなものががが datamash - GNU Project - Free Software Foundation
datamash - GNU Project - Free Software Foundation GNU datamash GNU datamash is a command-line program which performs basic numeric,textual and statistical operations on input textual data files. # Example: calculate the sum and mean of values 1 to 10: $ seq 10 | datamash sum 1 mean 1 55 5.5
今週末がなあ…
論文を? — Localizing Papers, Please Papers, Please was...
— Localizing Papers, Please Papers, Please was... Localizing Papers, Please Papers, Please was released on August 8th, 2013 without multilingual support. Even though it would’ve been great to support other languages besides English, I decided to push that work until after the game’s initial release. This massive post will go over my process for localizing the game. Before writing this post I knew it would be long, but not this long. It’s too big for the TIGForums devlog where it belongs. Instead of breaking it up into multiple forum posts, I created this blog for hosting. It came as no surprise that tumblr also can’t handle a single post of this size. Loc-TooBig Undeterred and unwilling to move again to wordpress or something, I’ve broken this post into two parts. Most of the information in Part 1 is pretty technical. Skip to Part 2 for a less technical topics. Anyways, let’s get started. (略)© 2014 | Silkyflat Theme by Kazunori Miura
The Words! Programming Language
The Words! Programming Language About Words! (The Words! Programming Language) is a .NET programming language similar to the .NET programming language Cobra. It works by converting to Cobra.class WordsPatterns field matches := Listdefine main .findHello print "Matches: [.matches]" print .matches[0].index, .matches[1].index define findHello |Matches the word "Hello" followed by 1+ digits pattern := " Hello <1+>" text := "{tab}OMG a multiline string Hello Hello22 Hello3 BlahHello22" assert pattern.isIn(text) for match in pattern.matchesIn(text) .matches.add(match) assert .matches.count = 2 assert .matches[0].value = "Hello22" assert .matches[1].value = "Hello3"
最近この方プログラミング言語の入門書だけでなく 数学(微積分だったかな)のやらこーゆーのやらにも 手を伸ばしてきてるけど中身大丈夫なんだろか Twitter / rikoushonotana: 新刊入荷 『マンガで学ぶデータ解析』 高橋麻奈著 銭形たい ...
某美術展、某社が協賛だか協力だかしているので 某社社員は (省略されました) なことがあるらしい。 ひとりだけ同じ扱いで同伴して入れるらしいんだけどあーゆーの興味ある人いないだろうなあ。
さてどうなる Announcing a specification for PHP « HHVM PHP Finally Getting a Formal Specification - Slashdot
PHP、初の仕様書作成の試み | マイナビニュース 仕様「書」ってのはなんかびみょーに違うような
Java よくわかんねー
一つ前へ
2014年7月(下旬)
一つ後へ
2014年8月(中旬)
リンクはご自由にどうぞ
メールの宛先はこちら