todo314のアンテナ

2020/09/23 14:36:10 (iwi)の日記 iwiwi
乱択データ構造の最新事情〓MinHash と HyperLogLog... by Takuya Akiba 30271 views
プログラミングコンテストでのデータ構造 by Takuya Akiba 91064 views
2020/09/21 21:47:19 chokudai’s Lab blog chokudai
【4月プロピッカー】Z世代ビジネスリーダーなど11名が就任
4月はZ世代のビジネスリーダーが就任。また、世界的プログラマーやシリアルCEO、ジャーナリストなど幅広いジャンルの専門家にも参画いただいています。本記事ではその概要と、各プロピッカーのプロフィー...
newspicks.com
本当に不足しているIT人材を知るために、本当に必要なもの | ウェブ電通報
2030年には高度IT人材が数十万
2020/09/17 18:03:19 ほどけない問題など在りはしない hyon
はてなブログアカデミー
法人プラン
OSSコミュニティ支援プログラム
学校支援プログラム
クリエイターのためのはてなブログ
2020/09/08 20:26:27 rng_58の日記 - TopCoder部 rng_58
「【エクスポートデータ添付】○○さんのはてなグループのエクスポートデータをお送りします」という件名でメールをお送りしております。
2019-07-12
2019年8月7日(水)をもちまして、はてなグラフのサービス提供を終了します
2019年8月7日(水)をもちまして、はてなグラフのサービス提供を…
2020/08/31 05:50:54 純粋関数型雑記帳 tanakh
2020-08-31
argopt: Rust向けの宣言的なコマンドライン引数パーザー
TL;DR
簡潔で直感的に扱える、宣言的なRust向けのコマンドライン引数パーザーを作りました。
https://crates.io/crates/argopt
モチベーション
Rustにstructoptというライブラリがあります。これはコマンドライン引数をパーズするライブラリなんですが、僕はこのライブラリが
2020/08/25 11:54:18 Sirot Space
*3:初期化時の括弧が丸括弧から波括弧に変わっていますが，これを丸括弧のままにすると，constexpr 関数の宣言と見做されてしまうため，コンパイルエラーになります．いずれにしてもコンパイルの通らないコードなのですが．
*4:c++ - static constexpr member o
2020/08/02 10:11:46 悪魔の妄想
2020-04-16
３０年目の書籍化〓現代経済学の直観的方法
現代経済学の直観的方法まず、書籍の帯に書かれた次の一言に着目。
『私は３０年前にこの本のベースとなる論考に出会い大きな衝撃を受けた。』
そして、後書きの一文に着目。
『足かけ２０年の形で本書の書籍化に関わっていただいた・・・・』
つまり、この本のベースは何と３０年前から存在していたのです。
３０年前から密かに出回っていた、言ってし
2020/06/11 03:38:13 ゲームにっき(仮)
上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。
2020/04/03 04:36:24 aizuzia
この広告は、90日以上更新していないブログに表示しています。
2020/01/20 23:50:12 にわとり小屋でのプログラミング日記 yoshihiro503
【楽天市場】法人3本セットA 柘(天角・寸胴・寸胴)印鑑・はんこ/法人・会社設立実印/銀行印/角印/上柘印鑑/ 選べるサイズ角印【21.0mm】寸胴【16.5/18.0mm】寸胴【16.5/18.0mm】法人印鑑実印送料無料アカネあかねハンコ：はんこのカクヤス
【全商品送料無料】印鑑はんこ（法人印・会社設立セット）。法人3本セットA 柘(天角・寸胴・寸胴)印鑑・はんこ/法人・会社
2019/08/29 12:58:50 眠いです k_operafan
この広告は、90日以上更新していないブログに表示しています。
2019/08/23 06:16:41 simezi_tanの日記
この広告は、90日以上更新していないブログに表示しています。
2019/08/21 06:36:24 semiexpの日記 semiexp
この広告は、90日以上更新していないブログに表示しています。
2019/08/18 18:50:20 TopCoderとJ言語と時々F# japlj
この広告は、90日以上更新していないブログに表示しています。
2019/08/18 17:30:12 nodchipの日記 nodchip
この広告は、90日以上更新していないブログに表示しています。
2019/08/17 13:54:31 ICPC突破専用ザク ir5
この広告は、90日以上更新していないブログに表示しています。
2019/08/15 22:32:20 てきとーな日記 wata
この広告は、90日以上更新していないブログに表示しています。
2019/08/08 02:29:01 難関大学への数学
この広告は、90日以上更新していないブログに表示しています。
2019/08/06 21:05:31 hosの日記です hos
この広告は、90日以上更新していないブログに表示しています。
2019/08/05 10:09:23 菊やんの雑記帳
この広告は、90日以上更新していないブログに表示しています。
2019/07/28 17:33:50 MAYAH.JP mayah
なお、@nya3jp のツイートによると、「競技プログラミングクラブ」が発足したメーリングリストの一通目は 2007 年 3 月 30 日ということなので、この日が公の「競技プログラミング」発祥の日なのかもしれませんね。これから毎年祝いましょう。(追記: どうやら発足はもう少し前に遡れるようです。)
以下は 2019-07-28 にした追記です。
どうも、「競技プログラミング」という単語はもうちょ
2019/07/20 01:26:03 Yet Another Ranha
この広告は、90日以上更新していないブログに表示しています。
2019/07/04 22:07:52 危ないRiSKのブログ RiSK
この広告は、90日以上更新していないブログに表示しています。
2019/07/02 03:55:22 imHo
この広告は、90日以上更新していないブログに表示しています。
2019/05/28 15:27:21 kurimuraの日記 kurimura
この広告は、90日以上更新していないブログに表示しています。
2019/05/23 22:06:06 やねうらおやねうらお
この広告は、90日以上更新していないブログに表示しています。
2019/05/19 06:25:23 PROVIDE?
19-20シーズン新プログラム情報 updated 2019.05.18
Yin & Yang
5月19日（日）は、第10回目の里親会です【温泉うさぎさん】
うっとこのこ
効率良く武将のレベルを20まで上げる方法
戦国IXA攻略ランカーへの近道！
2019/05/14 20:13:05 ひとり勉強会
スマートフォン用の表示で見る
ひとり楽しく勉強会
この広告は、90日以上更新していないブログに表示しています。
Coq
問題文PDF
hzkr 2011-11-11 00:00
VSTTE 2012 Software Verification Competition
Tweet
広告を非表示にする
もっと読む
コメントを書く
Coq
hzkr 2010-1
2015/11/26 07:07:46 埒を明ける日々 m0h1can
0 件のコメント:
tags:news
0 件のコメント:
tags:essay
2014/01/05 10:34:19 ホワット・ア・ワンダフル・ワールド
上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。