きょう街で「へぇ」と思ったモノ - DAILY OKAPPA
サクラちょっと咲いた どうも。 きょうはポカポカ陽気に誘われて、久しぶりに街へ出ました。 １人きままにウィンドーショッピング。 人がいっぱいいてー、品物がいっぱいあってー、 冬眠から覚めたクマじゃないけれど見るモノすべてが新鮮でした… (ó㉨ò)ﾉ♡ 桜もちょっとだけ咲いてました。 ☆ ☆ ☆ 本屋さんに行った後、ショッピングモールをぶらついていたら、 鏡に映った自分のﾓｯｻﾘ加減にΣ(￣ロ￣lll)ｶﾞｰﾝってなった私です。 コートは春物だけど、ストールが分厚い冬物でボロっちぃのがいけない。 春らしいストールが要るなぁ、と思いました。 春らしいストール欲しい… やっぱりパステルカラーかなぁ シンプル ストール 大判 無地 【180?×70?】 スカーフ ショール 【各種カラー】 (スイカ色) メディア: ウェア&シューズ この商品を含むブログを見る ピンク（スイカ？）好きだけど似合わない
GitHub - jeorgun/Vivaldi: Interpreted language inspired by Python, Ruby, Lisp, and so forth
Vivaldi is a simple interpreted language inspired by Ruby, Python, Lisp, etc, supporting duck-typing, object orientation, and some functional constructs. Overview Basics Vivaldi can be run either from a file or from the REPL: $ cat test.vv puts("Hello, world!") $ vivaldi ./test.vv Hello, world! $ ./vivaldi >>> puts("Hello, REPL!") Hello, REPL! => nil >>> quit() $ Vivaldi expressions are separated
達人出版会
探検! Python Flask Robert Picard, 濱野 司(訳) BareMetalで遊ぶ Raspberry Pi 西永俊文 なるほどUnixプロセス ― Rubyで学ぶUnixの基礎 Jesse Storimer, 島田浩二(翻訳), 角谷信太郎(翻訳) 知る、読む、使う！ オープンソースライセンス 可知豊 きつねさんでもわかるLLVM 柏木餅子, 風薬 スッキリわかるPython入門 第2版 国本大悟, 須藤秋良(著), 株式会社フレアリンク(監修) スッキリわかるJava入門 第4版 中山清喬, 国本大悟(著), 株式会社フレアリンク(監修) 世界標準MIT教科書 アルゴリズムイントロダクション 第4版 第1巻 基礎・ソートと順序統計量・データ構造・数学的基礎 Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rive
ラムダ・キューブ - Wikipedia
ラムダ・キューブの図。上向き軸はパラメトリック多相、奥向き軸は型オペレータ、右向き軸は依存型。 型理論において、ラムダ・キューブ (Lambda cube) とは、8つの異なる型付きラムダ計算の関係を表した図である。これらの計算体系がそれぞれ型（type）と項（term）の間にどのような依存関係を認めるかを整理したもので、単純型付きラムダ計算から、Calculus of Constructions (CoC)（英語版）を導くフレームワークになっている。数学者ヘンク・バレンドレフトによって1991年に提唱された。 （右図参照）ラムダキューブの原点は、単純型付きラムダ計算に相当する。三つの座標軸は、Y軸=パラメトリック多相、Z軸=型オペレータ、X軸=依存型に対応している。X, Y, Zの三軸線を融合した終点のは、Calculus of Constructionsに相当する。 各頂点は、以下の通
「性別に中立」な代名詞、スウェーデンの辞書に追加
【3月26日 AFP】スウェーデンの王立学士院が編さんする辞書に、4月から新たに「性別に中立」な代名詞が掲載されることになった。同辞書の編さん者が24日、明らかにした。 スウェーデン・アカデミー（Swedish Academy）によるスウェーデン語の辞書「SAOL」の最新版には、1万3000語の新語が追加される。その中で、従来からある代名詞「han（彼）」「hon（彼女）」と並んで新たに掲載されるのが、「hen」だ。 代名詞「hen」は、指し示す相手の性別が不明だったり、トランスジェンダーだったり、話し手や書き手が性別を余計な情報だと考えたりした場合に、対象となる存在の性別を明示することなく使うことができる。 編さんチームのストゥーレ・ベリ（Sture Berg）氏は、AFPの取材に対し「この代名詞を使用する人々にとっては、SAOLに掲載されている事実が強みとなるだろう」と述べた。 「he
米女性死刑囚、判決から23年 再審で無罪
デブラ・ミルケ元死刑囚。アリゾナ州矯正局提供（撮影日不明）。(c)Arizona Department of Corrections 【3月24日 AFP】（写真追加）当時4歳だった息子を殺害したとして米アリゾナ（Arizona）州で死刑判決を受けた女性死刑囚が23日、再審で23年ぶりに無罪となった。 ドイツ出身のデブラ・ミルケ（Debra Milke）元死刑囚（51）は、息子を1990年に射殺したとして死刑判決を受けたが終始、無実を訴えてきた。 死刑判決の決め手となったのは、ミルケ元死刑囚が自白したとする主任捜査官の証言。アーマンド・サルダテ（Armando Saldate）捜査官は、離婚し息子が邪魔になった同元死刑囚が2人を雇って息子を殺させたと自供したと述べていた。しかし、この捜査官には数々の職権乱用や不正を犯した過去があった上、この証言にも目撃者などの証拠がなかった。 20年以上を
はてなブックマークと私 - jt_noSke's diary
2015年にはてなブックマークは10周年を迎えたそうです。 自分も長いことはてなブックマークを使っているが、いま見てみると2006年1月11日に利用を開始しているらしく、2007年8月17日(はてなブックマークにはてなスターが実装された日)から本格的にダジャレ人生が始まったようです。長いもんだ。 7年半もはてなブックマークでダジャレをやって来たことになるが、やはり継続は力なりというべきか、はてなブックマーク以外でもいろいろなことがありました。 転職する際の面接でCTOに「ダジャレの人ですよね」と聞かれた あとから入社した人に「えっあのjt_noSkeさんですか」と驚かれた 会社のバグ管理システムに誤ってダジャレタグをつけて社員の話題をさらった Ingressを始めてハングアウトをダジャレ色に染めた 「あのダジャレの人とこうやってしゃべってるなんて変な感じ」と(たぶん好意的に)言われた はて
Railway Oriented Programming in Elixir
It would be a great world if everything ran without errors. Validating inputs from users and handling various other kinds of error ranging from databases access, file access, network issues or any other is a reality of the software. We all have written programs where the cases of handling erros are so much that it increases the codebase by manifold. This make the life of the maintainer a hell, yet
プログラミングコンテスト攻略のためのアルゴリズムとデータ構造
プログラミングコンテスト攻略のためのアルゴリズムとデータ構造 渡部有隆, Ozy(協力), 秋葉 拓哉(協力) マイナビ出版 3,938円 (3,580円+税) "プログラミングコンテスト"で勝つための必須テクニック「アルゴリズム」と「データ構造」の基礎をマスター！コンテストの競技システムに類似した、オンラインジャッジと呼ばれるプログラムの自動採点システムを通して、楽しみながら学習できます。 関連サイト本書の関連ページが用意されています。 プログラミングコンテスト攻略のためのアルゴリズムとデータ構造｜マイナビブックス内容紹介本書はプログラミングコンテストの問題を攻略するための「アルゴリズムとデータ構造」を体得するための参考書です。初級者が体系的にアルゴリズムとデータ構造の基礎を学ぶことができる入門書となっています。 プログラミングコンテストでは、高い数理的能力で上位ランクを得ることができま
マンチェスター・U史上最高の選手トップ50
英国『Telegraph』が、マンチェスター・ユナイテッド史上最高の選手をランキング形式で紹介している。 Man Utd's best ever player? Will it be Best, Law, Charlton or Giggs?http://t.co/RWOxnvpjWx pic.twitter.com/JrLISqRItD — Telegraph Football (@TeleFootball) 2015, 3月 24 ユナイテッドの起源は1871年。マンチェスターの鉄道員たちが中心になって創設された。 1950年代にマット・バスビーとその教え子たち“バスビー・ベイブス"が一時代を築くものの、1958年2月6日、「ミュンヘンの悲劇」と呼ばれる不慮の飛行機事故でチームの主力の大半を亡くす。しかし、それから10年後のチャンピオンズカップでは、「ミュンヘンの悲劇」の生存者の1人で
bitterharvest’s diary
中学校の同期の仲間たちで、歴史散策と称して都内近郊の景勝地を定期的に訪れている。今回は、横浜の山手・山下地区にバラを見に行こうということになったので、その下見に出かけた。 この地域を、いかにも横浜らしいハイカラな街と感じている人も多いだろう。歴史的な建造物があちらこちらに立っていて、西洋館もある。なぜ、このような街並みができたのだろう。 この地域は、かつては居留地と呼ばれていたことを知っている人は少なくなった。子供のころ、お年寄りの人から、居留地と言われてキョトンとしたことを覚えている。そのころは外国の人を多く見かけるので、そのように呼ばれるのだろう程度にしか認識していなかった。 横浜市のデジタルアーカイブに明治23年の地図がある。中央左側の赤色の台形のところが山下居留地で、さらにその左側の同じく赤色で、裾が広がるようになっているところが山手居留地である。 なぜ居留地と呼ばれるようになった
ケニアの危機にニャンタキー会長が立ち上がる！
カズに憧れて全身赤のスーツを買ったことで校内一の人気者になったが、中身が伴わず一発屋で終わったというエピソードを持つ島根県出身のエディター。その影響か赤いチームを好み、ヴァランシエンヌ、レイションエス、ノッティンガム・フォレストなどを応援している。 3月22日、ガーナサッカー協会は「混乱が続いているケニアサッカー界の危機を回避するため、FIFAはクウェシ・ニャンタキー氏を仲介役に任命した」と発表した。 先日Qolyでも報じたケニアリーグの混乱は、今日に至ってもまだ解決されていない。昨年開幕したのは2月末なのだが、既にそれを一ヶ月過ぎてもレギュレーション自体が決まっていない。 昨季までは16チームでリーグが行われていたものの、ケニアサッカー連盟はそれを18チームに拡大することを発表した。 ところが、2チーム増加することによって年間500万ドル（およそ6億円）のスポンサーマネー、さらに加えて放
テキストエディタ「GNU nano 2.4」リリース、4年ぶりの新安定版 | OSDN Magazine
テキストエディタGNU nanoの開発チームは3月23日、最新安定版「GNU nano 2.4.0」（開発コード「lizf」）をリリースした。アンドゥシステムのデフォルトでの有効化といった新機能が盛り込まれている。 GNU nanoはUNIXやLinuxなどで利用されるテキストエディタ。コンソールで動作するCUIアプリケーションだが、直感的な操作が特徴。C言語で実装されており、カスタマイズ可能なキーバインディング、ページャー対応、正規表現のハイライト表示、中断可能な検索などの機能を持つ。ライセンスはGPL。 GNU nano 2.4は、2011年2月に公開されたバージョン2.3に続く安定版リリースとなる。本バージョンでの大きな新機能として、アンドゥシステムがデフォルトで有効となった点がある。 vimと互換性のあるファイルロッキング機能を導入し、フォーマット化のサポートも加わった。lintを
Dart for the Entire Web
For the latest Dart news, visit our new blog at https://medium.com/dartlang . We work with many teams, inside and outside of Google, that use Dart every day to build business-critical apps. Their feedback is consistent: they love working with the Dart language, libraries, and tools, and they compile Dart to JavaScript when they deploy to the web. However, they also tell us they need better integ
2-3 (３. 高等学校の教科と時間配当および単位数)
お探しのページは、移動または削除された可能性があります。 お手数をおかけしますが、ページ上部のメニューまたはサイト内検索から再度お探しください。 10秒後、自動的にトップページに移動します。移動しない場合はこちらをクリックしてください。 トップページに移動
Search
Releases, Offers & More Be the first to hear about our newest content, best promotions and upcoming events. Plus get 25% off your next purchase. Newsletter Sign Up Download Accounts Your email address is your account identifier. You can create a password, or just download from the links sent via email. My Orders (Resend order emails) How We're Different Hands-on instructions Solutions to real-worl
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://www.cs.le.ac.uk/people/amurawski/mgs2011-tlc.pdf
GitHub - nimious/threedxware: Nim bindings for 3Dconnexion's 3DxWare SDK.
イングランドNo.1のクラブはどこだ！英紙がトップ50ランキングを発表
TechCrunch | Startup and Technology News
http://bookclub.japantimes.co.jp/title/%EF%BC%A9%EF%BC%B4%E3%83%97%E3%83%AD%E3%82%B8%E3%82%A7%E3%82%AF%E3%83%88%E3%81%AE%E8%8B%B1%E8%AA%9E%E3%80%80%E2%80%95%E3%83%93%E3%82%B8%E3%83%8D%E3%82%B9%E3%82%A8%E3%82%AD%E3%82%B9%E3%83%91%E3%83%BC%E3%83%88%EF%BC%A5
イングランド代表の新星にユヴェントスが接触か？
GitHub - fimad/scalpel: A high level web scraping library for Haskell.
47NEWS（よんななニュース）