Cython - Wikipedia
Cython（サイソン）は、C言語によるPythonの拡張モジュールの作成の労力を軽減することを目的として開発されたプログラミング言語である。その言語仕様はほとんどPythonのものと同じ (上位互換) だが、Cの関数を直接呼び出したり、C言語の変数の型やクラスを宣言できるなどの拡張が行われている。Cythonの処理系ではソースファイルをCのコードに変換し、コンパイルすればPythonの拡張モジュールになるようにして出力する。 このようにCとPythonをシームレスに取り混ぜて扱うCythonの利点の一つは、既にあるPythonコードを、いくつかの静的な型 (static type) を宣言して律速なループをうまく書き直すだけで、コンパイル後のコードの実行速度がC言語並みに高速化されることである。複雑なC言語インターフェイスを使う必要はない。コーディングのしやすさと可読性はPythonと変
「Frama-Cによるソースコード検証」 (mzp)
This document discusses using the Frama-C framework to formally verify C and C++ code. It provides examples of using Frama-C to verify functions that find the minimum of integer values, including abs(), min(), and min3(). Specifications for these functions are written using the ACSL specification language. Frama-C is then used to prove that the implementations satisfy the specifications. The docum
常識を覆すソートアルゴリズム！その名も"sleep sort"！ - Islands in the byte stream (legacy)
TwitterのTLで知ったのだが、少し前に海外の掲示板で"sleep sort"というソートアルゴリズムが発明され、公開されたようだ。このアルゴリズムが面白かったので紹介してみる。 Genius sorting algorithm: Sleep sort 1 Name: Anonymous : 2011-01-20 12:22 諸君！オレは天才かもしれない。このソートアルゴリズムをみてくれ。こいつをどう思う？ #!/bin/bash function f() { sleep "$1" echo "$1" } while [ -n "$1" ] do f "$1" & shift done wait example usage: ./sleepsort.bash 5 3 6 3 6 3 1 4 7 2 Name: Anonymous : 2011-01-20 12:27 >>1 なん…だと
Chapters - Learn You a Haskell for Great Good!
Introduction About this tutorial So what's Haskell? What you need to dive in Starting Out Ready, set, go! Baby's first functions An intro to lists Texas ranges I'm a list comprehension Tuples Types and Typeclasses Believe the type Type variables Typeclasses 101 Syntax in Functions Pattern matching Guards, guards! Where!? Let it be Case expressions Recursion Hello recursion! Maximum awesome A few m
マンガで分かるAndroid開発環境構築方法 - Android Dev - CroCro
2011/02/09 ページ作成 2011/02/09 最終更新 クロノス・クラウン合資会社 柳井政和 ＨＰ：http://crocro.com/ Twitter：http://twitter.com/ruten はじめに このマンガは、私が「2011/01/16のSwapSkillsの勉強会」用に作成した「Androidで動く HTMLとJavaScriptで作る電子書籍アプリ」という資料が元ネタになっています。この資料から「Android開発環境構築」部分を抜き出して、16ページのマンガとして作成しました。切っ掛けは、窓の杜に「WebブラウザーからAndroid向け電子書籍を制作できるサービス“Androbook”」という記事を書いたことです。この記事を書く際に、「16ページのマンガが欲しい、それも『コミPo!』で」と提案されたので、技術資料のマンガ化に取り組みました。内容
Create cool applications! | dev.twitter.com
<g> <g> <defs> <rect id="SVGID_1_" x="-468" y="-1360" width="1440" height="3027" /> </defs> <clippath id="SVGID_2_"> <use xlink:href="#SVGID_1_" style="overflow:visible;" /> </clippath> </g> </g> <rect x="-468" y="-1360" class="st0" width="1440" height="3027" style="fill:rgb(0,0,0,0);stroke-width:3;stroke:rgb(0,0,0)" /> <path d="M13.4,12l5.8-5.8c0.4-0.4,0.4-1,0-1.4c-0.4-0.4-1-0.4-1.4,0L12,10.6L6.2
高速でプログラミング言語をマスターするのに有効な記事まとめ - NAVER まとめ
サービス終了のお知らせ NAVERまとめは2020年9月30日をもちましてサービス終了いたしました。 約11年間、NAVERまとめをご利用・ご愛顧いただき誠にありがとうございました。
strrchr
文字列の最後から文字を検索する 【書式】 #include <string.h> char *strrchr(const char *s, int c); 【説明】 文字列 s において文字 c が最後に見つかった位置をポインタで返却します。 見つからなかったときにはNULLを返却します。 文字列終了コードの'\0'も文字列の一部と見なします。つまり、strrchr(s, 0); も可能です。 【引数】 const char *s ： 検索対象文字列 int c ： 検索文字 【戻り値】 見つかったとき ： 一致文字のアドレス 見つからなかったとき ： NULL 【使用例】 #include <string.h> #include <stdio.h> int main(void) { char str[] = "abcdefghijklmnabcdefghijklmn", *p; int
プログラマの嫁が知るべき97のこと
「プログラマの嫁が知るべき97のこと」をまとめていきます。97越えてもキニシナイ！ 誰でも編集できますので追加にご協力ください＞＜ 元ネタ： 「プログラマが知るべき97のこと」 http://amzn.to/fqBF5H 関連： 「プログラマが知るべきじゃない97のこと」 http://togetter.com/li/78505 続きを読む
Haskell: parsec (parser combinator)
parsecのお勉強をする。今日のYet Another Perl Conferenceで聞いたんだけど、ある程度マスターすれば15分でPerlのparserが書けるらしいよ。すげえ！という事で、やってみますかぃのぉ。 parsec - a free monadic parser combinator library Parsec, a fast combinator parser Parsec, 高速なコンビネーターパーサ Write Yourself a Scheme in 48 Hours Library Reference: Index of /ghc/docs/6.4/html/libraries/parsec Parsec: Direct Style Monadic Parser Combinators for the Real World , Daan Leijen and
見習いプログラマが読んだら、すぐにジョブレベルが上がる１０冊 : ソースコードは飲み物です。
2010-11-24 05:56:00 GMT 某所で『プログラマが読むべき１０冊』というのが公開されてましたが、 どうみても中身が重いし、バックグラウンドの知識が必要なものが多いと感じたので、 即、血となり肉となる本を独断と偏見でまとめてみました。 ジャンルごとの順番です。どれも読むべきだと思うので敢えて順番はつけません。
Webプログラミング未経験からmixiアプリを作るまでにやったこと - nakawai’s diary
mixiアプリ「大喜利PHPプレイバック」を公開しました - 理系のためのTIPS集 上記エントリでも書きましたが、今年の目標だったmixiアプリの公開までなんとかこぎつけることができました。 アプリ名：大喜利PHPプレイバック URL:http://mixi.jp/view_appli.pl?id=16441 2012/02/28 追記 mixiアプリの仕様変更に伴い、上記のアプリは提供を終了しました。 公開日は2010年10月26日。現時点での利用者数は50人(！)です。大喜利好きな人は使ってみてください！（泣） このエントリの趣旨 Webプログラミング未経験だった自分がmixiアプリの開発をすすめるにあたっては、以前話題になった下記の２エントリにたいへん刺激を受けました。 文系ド素人がmixiアプリを開発〜リリースするまでのまとめ - kazu0620の日記 Webプログラミング素人
WebSocketで目指せ“リアルタイムWeb”！第1回 node.jsの衝撃とWebSocketが拓く未来 - ＠IT
ご挨拶 こんにちは、ロンドンのNew Bambooという会社でWebエンジニアとして働いている@makoto_inoueです。ここのところ、PusherというWebSocketのクラウドサービスの開発に関わっています。今回から3回に渡ってWebSocketに関する短期連載を担当させていただきます。 私を含めたNew Bambooの面々（我々は自分たちのことをBambinoと呼んでいます）がWebSocketになぜ興味を持ったかということからはじまり、実際にクラウドサービスを始めるまでにいたったストーリーをお話ししたいと思います。そのストーリーを通じて、WebSocketが切り開く「リアルタイムWeb」な世界への可能性や技術的課題を皆さんと共有できればと思っています。
学生プログラマの「実力差」は、「麻雀」と「囲碁」の差 - 本当は怖いHPC
僕も学生なのだけど(一応)、仕事をしているチームにプログラマをスカウトするために何人もの学生プログラマと会ってきた。能力はいろいろ。Linuxのソースをガンガン読んでいる人もいれば、授業のプログラミング課題がちょっと得意、くらいの人もいた。言い方は悪いけどピンキリ。 で、その差が何から来るのか疑問に思っていた。「プログラミングに対する情熱や興味の差」とか、「アルバイトでの開発の経験」などの差はもちろんあるのだが、どうもそれだけでは説明し得ない壁があるように感じたので、ここ数日それを考えていた。 で、理由を思い立った。 学生に限らず、プログラミング能力は個人差が激しい。これは最終的には「純粋な頭脳労働だから」という点に帰着すると思う。他の多くの世界と違って、プログラミングは「時間と頭脳があれば原理的に何でもできる」わけだ。他の分野においても「頭脳戦の割合が高ければ高いほど偏差も大きくなる」と
プログラミン | 文部科学省
文部科学省「プログラミン」は1024x768ピクセル以上のモニタ解像度でご覧ください。 ご覧いただくためには、最新版のFlashPlayerをインストールのうえ、 JavaScriptを有効にしてください。 「Adobe Flash Player」の最新版はアドビシステムズ社のWebサイトより無料でダウンロードできます。 インストール方法については、配布元の説明をお読みください。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
IPAM remote blogging: The Many Facets of Linear Programming
ドメインパーキング
IDEA * IDEA
https://jp.techcrunch.com/2010/07/13/20100712android-app-inventor-demo/
TechCrunch | Startup and Technology News