ときどきの雑記帖″

最新ページへのリンク
目次ページへのリンク

一つ前へ 2014年7月(下旬)
一つ後へ 2014年8月(中旬)

ホームへ

2014年08月10日

■_

ひきこもりないちにち

■_

■_

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

2014年08月09日

■_

カップヌードルトムヤムクン。 とあるコンビニで棚にあるのを目撃するも 数時間後に再度行ったときは一個もなし。 他のコンビニでもそれが置かれていたところだけ綺麗に空っぽになってて大笑い。 そんなに売れてるのかアレ。

■_

■_

2014年08月08日

■_

夏休み。なんですがー

■_ ぱなま

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.

2014年08月07日

■_

pragpub で前号から最初期のコンピューターでのプログラミングを取りあげている記事が載っている。 前号はEDVAC で、金剛今号はUNIVAC-I。 Shop The Prose Garden | The Prose Garden

これなんだけど、

パンチカード云々やジャカード織機云々は解析機関についてじゃないかなー と引っかかるものがあったので調べてみた(つづく)。

■_

2014年08月06日

■_

英国は各員がその義務を尽くすことを期待する - Wikipedia皇国の興廃この一戦にあり、各員一層奮励努力せよ | Z旗(ゼットキ) の違いに 日本人と英国人の気質の違いだかなんだかが現れている とかいう意見を見たことがあるけどどうなんだろか。 Z旗 - Wikipedia

松永「弾正」久秀を主役に据えた小説が出ていた。

■_

「腹に落ちる」という言い回しを時々見かけるんだけどどこ発の言葉だろう。 使っている局面からすると「腑に落ちる」と同じなんだけど。 で、調べてみると 腹に落ちるの同義語 - 類語辞典(シソーラス) 腹に落ちる とは - コトバンク 納得がいく。なるほどと思う。 「 - ・ちるやうに言つて聞かせてお呉んなさい/浮雲 四迷」 なんだってー 手元にある電子辞書にはなかったんだがががが(確か大辞林のはず)

腹に落ちるとは? - BIGLOBEなんでも相談室 「腑(ふ)に落ちる」とは? - トクする日本語 - NHK アナウンスルーム

2014年08月05日

■_

西部戦線異状なし (新潮文庫)

■_

■_

なんかこう、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

2014年08月04日

■_

今週末がなあ…

■_

■_

論文を? — 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 := List

    define 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"
    

2014年08月03日

■_

最近この方プログラミング言語の入門書だけでなく 数学(微積分だったかな)のやらこーゆーのやらにも 手を伸ばしてきてるけど中身大丈夫なんだろか Twitter / rikoushonotana: 新刊入荷 『マンガで学ぶデータ解析』 高橋麻奈著 銭形たい ...

■_

2014年08月02日

■_

超人ロック 完全版 (22) ソング・オブ・アース (King Legend)
超人ロック 完全版 (22) ソング・オブ・アース (King Legend)

次のキートン掲載は8/20発売号。と。

■_

2014年08月01日

■_

歌う船 (創元SF文庫 (683-1))
歌う船 (創元SF文庫 (683-1))

某美術展、某社が協賛だか協力だかしているので 某社社員は (省略されました) なことがあるらしい。 ひとりだけ同じ扱いで同伴して入れるらしいんだけどあーゆーの興味ある人いないだろうなあ。

■_

■_

さてどうなる Announcing a specification for PHP « HHVM PHP Finally Getting a Formal Specification - Slashdot

PHP、初の仕様書作成の試み | マイナビニュース 仕様「書」ってのはなんかびみょーに違うような

■_

Java よくわかんねー


一つ前へ 2014年7月(下旬)
一つ後へ 2014年8月(中旬)

ホームへ


リンクはご自由にどうぞ

メールの宛先はこちらkbk AT kt DOT rim DOT or DOT jp