低レイヤーの歩き方 - るくすの日記 ~ Out_Of_Range ~
この記事は Kobe University Advent Calendar25日目の記事です。 低レイヤー技術(後述)をこれから学びたい人向けの入門記事です。 自身の経験を踏まえ、より多くの人達にこのレイヤーに興味を持ってほしくて書きました。 決して卒論がやばくてAdvent calendarのネタが作れなかったわけでは(ry なぜこんな記事を書いたか いわゆるシステムプログラミングのような低レイヤー(と言って差し支えない)ジャンルって一体何から始めれば良いのかいまいちピンと来ないし、何が面白いのかも分からないと思われている事が多いと思います。 にもかかわらず低レイヤーの魅力や学び方の指針みたいな物を示した、いわゆる入門記事ってかなり少ないんですよね。 本記事はこれからシステムプログラミングを始めたい方や、既にかじってみたが中々先が見えてこない、将来何の役に立つのか不安という方達に読んでい
Deep Learningの理論的論文リスト - Obey Your MATHEMATICS.
§1はじめに Deep Learningってどのくらい理論的に解明されているのか？ってやっぱり気になりますよね。 それに関して、次のQuoraのスレッドに非常に有益なコメントがあります。 When will we see a theoretical background and mathematical foundation for deep learning? - Quora How far along are we in the understanding of why deep learning works? - Quora 深層学習界の大御所であるYoshua Bengio、Yann LeCunの二人が 実際ディープラーニングの理論的理解ってどうなのよ？？ って質問に直々にコメントしています。 LeCunのコメントの冒頭を少し引用しますと; That’s a very active
ベトナムで農業を初めて約2ヶ月たっての近況と課題感 - mitolab's diary
10月後半から昨日までおよそ2ヶ月にわたる農場整備がようやく終わった...。荒れ地の草刈りから始めて耕耘、土壌分析、客土、施肥、土中発酵、潅水配管設置、小屋建てx2、各種資材調達、育苗、各種データ取り、関連各所との渉外、播種/定植、etc...本当に大変だった。言葉通じない且つ使える資材も限られる、且つ農業1年生ということで、かなりシビアな状況の中、農家の先輩たちからの指導や、行動力のあるリーダーのおかげでなんとかこなせてよかったとホッと一安心。 でも撒いた種が発芽するまで、定植した苗が順調に育つのを見るまでは油断できない。てかこれからも色々な病気や虫、雑草、天候色々な敵が待ち構えているのでそもそも油断はできないんだけど...。とりあえず振り返ってつらつらと書いてみる。 before after before after 新設の小屋(倉庫, 作物調整場, 堆肥場を兼ねる) 新設の堆肥場(エ
ソシオメディア | OOUI – オブジェクトベースのUIモデリング
最近、OOUX という言葉を見聞きしました。これはオブジェクト指向の利用者体験（Object-Oriented User Experience）のことで、いくつかの記事を読んだところ、アプリケーション設計において画面とデータを対応づける際にオブジェクトを手掛かりにするという方法論のようです。つまり OOUX は「オブジェクトベースのUIモデリング」と言い換えることができそうです。そうすると実は以前からそのようなデザイン手法はあり、「OOUI（オブジェクト指向ユーザーインターフェース）」と呼ばれていたのです。最近になって OOUX という言葉が使われるのは、OOUI のことを知らなかったか、もしくは流行語である「UX」を用いた方がかっこいいと考えたからではないでしょうか。 「オブジェクトベースのUIモデリング」というデザイン手法は、GUI アプリケーションをデザインする際の基本的なテクニック
[PDF]Reenix: Implementing a Unix-Like Operating System in Rust
Reenix: Implementing a Unix-Like Operating System in Rust Alex Light (alexander light@brown.edu) Advisor: Tom Doeppner Reader: Shriram Krishnamurthi Brown University, Department of Computer Science April 2015 Abstract This paper describes the experience, problems and successes found in implementing a unix-like operating system kernel in rust. Using the basic design and much of the lowest-level sup
ニューラルネットの調和解析 - もちもちしている
はじめに この記事はDeep Learning Advent Calendar 2016 3日目の記事です． とうとうAdventCalendar以外でブログを更新しなくなってしまいましたが，元気よく書いていきたいと思います． 今回はニューラルネットのブラックボックス性とその解析をしている論文の紹介です．Deep Learning Advent Calendarをやるぞ！と言っておきながら，この記事で取り上げるのは浅いニューラルネットです． ニューラルネットのブラックボックス性とその議論 ニューラルネットは自然言語処理や音声認識，ゲームAIなどの様々なタスクに応用されるようになり，いずれも大きな成果を挙げていることに間違いはありません． しかしその一方で，ニューラルネットは中間層を挟むため，学習で得られる内部状態は不明瞭となります．このことから，結果の考察がしにくいという理由で忌避されるこ
Call-by-needを採用した言語のインタプリタの実装 - fetburner.core
この記事は言語実装 Advent Calendar 2016の9日目ために書かれました。 最近僕はcall-by-needに関連する研究をしており、気分を理解するためにcall-by-needを採用した言語のインタプリタをStandard MLで実装したりしました。今回はその時の事でも記事にしておきましょう。 Call-by-needとは？ Call-by-needとは、評価戦略の一種です。評価戦略と言えばcall-by-valueとcall-by-nameが有名でしょう。 Call-by-valueは最も右側のredexから簡約する評価戦略で、例えば(λx. x x) ((λx. x) (λx. x))は (λx. x x) ((λx. x) (λx. x)) → (λx. x x) (λx. x) → (λx. x) (λx. x) → λx. x と簡約されます。ちなみにλの中は簡約
エロ漫画にも表現の自由を 米・変態ポータルがNPO加入で決意表明 （Forbes JAPAN） - Yahoo!ニュース
アダルト漫画にも表現の自由がある。それを誰よりも理解しているのがFakku.net（ファックユー・ネット）だ。海外では日本のポルノアニメやポルノ漫画にはヘンタイ（Hentai）というジャンル名が付けられているが、Fakku社は変態ポータル大手として日本のワニマガジン社とも提携を行なっている。 Fakkuはこのほど創業10週年を記念して、マンガの表現の自由を守るNPO、コミック弁護基金（Comic Book Legal Defense Fund）に加入した。 ヘンタイは表現の自由だ CEOのJacob Gradyは「ヘンタイは表現の自由として認められています。長年にわたりその権利のために戦ってくれたコミック弁護基金のような組織がなければ、Fakku.netで見られるようなコンテンツを提供することはできません。コミックを読んだり描いたりしただけでトラブルに巻き込まれることはあってはなりませ
小児性愛のトランペット奏者、演奏会場で襲われ死亡 アルゼンチン
仏レンヌの音楽祭で撮影されたトランペット（2011年12月1日撮影、資料写真）。(c)AFP/DAMIEN MEYER 【12月6日 AFP】アルゼンチンの首都ブエノスアイレス（Buenos Aires）近くの大聖堂で、複数の幼児に対する性的虐待で逮捕歴のあるトランペット奏者がオーケストラで演奏中、被害者の子どもたちが通う学校の親たちに襲われて死亡した。演奏会場だった大聖堂の司祭が5日、明らかにした。 死亡したのは音楽教師でトランペット奏者のマルセロ・ファビアン・ペコーロ（Marcelo Fabian Pecollo）元受刑者（42）で、ブエノスアイレス近くの町モロン（Moron）のオーケストラに在籍していた。ペコーロ元受刑者は2010年に幼児5人に対する性的虐待の罪で禁錮30年の判決を言い渡されたが、減刑により2014年に出所していた。 今回の事件は今年10月30日、モロンの大聖堂で発生
為替と株の予測の話
3. もくじ • はじめに • 為替や株の予測の何が難しいのか • 2つの通貨問題からみるレバレッジと期待値の関係 • 収益率の分散を抑えるには • いもすアルゴリズムの変遷 • ボラティリティのフラクタル性 • 最新いもすアルゴリズム 為替と株の予測の話 2 5. なぜ投資を考えるのか 生活費ために働いてお金を稼ぐのは不自由であるので、 経済的独立 (Financial independence) を目指すのは自然な発想。 経済的独立とは 「運用益＞消費」となる状態を指し、 これを達成するには「資産を増やす」「運用効率を上げる」「消費を 減らす」方法がある。 しかし、運用効率が0%では経済的独立を達成するのに必要な資産 が何倍にもなるので、運用効率を上げる方法を考える。 為替と株の予測の話 4
究極のマッシュポテトをつくるには？ | 食育通信 online
究極のマッシュポテトをつくるには？ マッシュポテトは昔からある料理ですが、専門店ができるなど根強い人気があります。今日は家でもできる『究極のマッシュポテト』をご紹介します。 世界一のマッシュポテトと聞くと、ジョエル・ロブションの『じゃがいものピュレ』が挙げられます。ジョエル・ロブションがまだジャマンという店のオーナーシェフだった時代に発表したこの料理について、彼はのちに「自分が三ツ星を穫れたのはじゃがいものピュレとグリーンサラダのおかげ」と語っています。 では、おいしいじゃがいものピュレとはなんでしょう？ それはさらりとした口溶けで、少しも粘ついてなく、豊かな風味のものです。反対にまずいマッシュポテトは糊のようにベタつき、口や歯にくっつき、舌に膜がかかったようになるもの。今日はそれを避ける方法をいくつかお教えします。 マッシュポテト （ジェフリー・スタインガーデンとヘストン・ブルメンタール
屍姦生活に必要なモノ ネクロフィリアと性的多様性と人権について
2024.08 << 123456789101112131415161718192021222324252627282930 >> 2024.10 こんにちは。nexaです。今回はいつもの性的ファンタジーはありません。 ここ最近インターネット上で大きく２つの出来事があり、混乱と狂騒の様相を呈しています。その１つはＬＧＢＴをペドフィリア、ズーフィリア、ネクロフィリアといった他の性的少数派と同等に扱うことの可否に関する議論です。もう１つは人々が自分の気に入らない性的表現を嫌がらせや脅迫によってやめさせようとする行為の可否に関する議論です。それに人種差別や性差別など種々の問題が絡んで事態を紛糾させています。これらの問題について少しでも冷静で建設的な議論がなされることを祈り、私のネクロフィリアに関する基本的な考え方を述べておきます。具体的な個々の事例については述べず、概念的に述べようと思います。そ
LGBTPZNの現在地 - 自然法被害者の会
LGBTPZNは、かつては、7種類の多様な性――レズビアン、ゲイ、バイセクシャル、トランスジェンダー、ペドフィリア、ズーフィリア、ネクロフィリア――のアクロニムでした。現在は、LGBTPZNはアクロニムではなく、多様な性を象徴するシンボルであると考えられています。 http://LGBTPZN.org/ LGBTPZNという概念/運動が、主に日本のTwitterを中心に普及をはじめてからおおよそ2ヶ月がたつ。 非常に短い期間ながら、ペドフィリア、ズーフィリア、ネクロフィリア、レズビアン、ゲイ、バイセクシャル、トランスジェンダー、アセクシャル、パンセクシャル、フェミニスト、等々さまざまなバックグラウンドをもつ人々の間を飛び交い、賛同、嫌悪、疑念、議論、誤解を巻き起こしてきた。 とくにこの数日間、LGBTPZNの議論は第二の波とも言うべき大規模な拡大をみせ、ごく小規模なコミュニティで形成されて
Ladder of Functional Programming 〜関数型プログラミングのレベル分け〜 - Qiita
LambdaConfがツイートにて関数型プログラミングのレベル分けを発表していました。今後LambdaConfから発信される発表にはこのレベルが表記され, 自分のレベルにあったコンテンツが探しやすくなるようです。このレベル分けはプログラマの優劣を付けるようなものではなく, 広く深い関数型プログラミングの世界で自分が今どのレベルにいるのかを適切に理解し次にどこに向かうべきなのかを知るのにたいへん役に立つものだと思います。 表を眺めてみると関数型プログラミングというよりかはHaskellのレベル分けのような印象も受けますが、広く知られるべきだと思ったので翻訳してみました。僕が未熟でトンチンカンな訳をしている箇所もあると思うので、何か見つけた場合は遠慮なくコメントや編集リクエストをお願いします LambdaConf Ladder of Functional Programming (LOFP)
サイバーエージェントを退職しました | κeenのHappy Hacκing Blog
このエントリはEx CyberAgent Developers Advent Calendar 2016 - Adventar1日目の記事です。 元サイバーエージェントの人がわいわいやります。 κeenです。二年弱勤めたサイバーエージェントを退職したのでその旨について。 サイバーエージェントの思い出 サイバーエージェントに興味をもつきっかけになったのも入社することになったのも学生の頃からずっと参加し続けていたLispMeetUpでした。 LispMeetUpでは長らく会場としてCAのセミナールームを使わせてもらっていました。 そこでエンジニアに対して気軽に施設を提供するCAや社員の@potix2さんを知って、そのまま@potix2さんの手引でCAに入社する運びとなりました。 「面接でLispは口にしない方が良い。100%落ちる。」なんて言ってた割にはLisp繋りで入社しました。 Cyber
【カードゲーム】デジタルTCGとリアルTCGの原体験の違い - 小汚いオカマ日記
(サムネイル画像はサイゲームズ様より引用させて頂きました) 先日、シャドウバースからカードゲームを始めたオタクフレンズから「シャドウバース、全然勝てないからカードゲーム勝てるようになる方法を教えてくれ」というLINEが飛んできた シャドウバース、おっぱい丸出しでエッチだと思った そもそも自分はシャドウバースをやっていないし、更に言うならカードゲームも別に上手ではないので真っ当な意見を提示することが出来なさそうなので、勝てないと相談してきたオタクフレンズに色々と質問をすることにした。 おれは高校生の時に始めた「Magic;the gathering」というカードゲームを20台後半になっても続けている気持ちの悪いオタクなので、質問を続けている内に「これはカードゲーム原体験の問題ではないか」という結論に辿り着いた。 それは「デジタルTCGとリアルTCGでは、ゲームを始めたばかりの頃に経験すること
松尾ぐみの論文の書き方：英語論文 | 松尾 豊
あー、やっぱりこの国際会議は難しいな。日本人ほとんど通ってないしなぁ。結構頑張ったんだけどなぁ。でも査読者、なんか良く分からないことを言ってる。こいつ分かってないな。こんな査読者に当たるとは運が悪い。３人中１人はすごくいいコメントなのになぁ。ま、いいや、研究会論文でも書こう。 （※に戻る） 私も以前はこんな感じでした。主要な国際会議のレベルは高いと思ってました。今では、そうは思いません。何といっても、まずは完成度の問題です。 完成度を上げることの重要性 完成度を上げるとは、自分で修正するところがなくなるまで、修正を繰り返すことです。 上の例では、初稿の段階で投稿していますね。これで通せる人は誰もいません。ここで私がよく目安に使っている２つの経験則を紹介しましょう。 執筆時間の法則： 経験上、次のような法則があります。「書こう」と思ってから、初稿ができるまでの時間をa0とします。すると、第２
問題を解決するつもりでキッチリ型を付けた先にある高い壁 - ぼくのぬまち 出張版
null安全おじさんになりかわりそれがしがお見せつかまつる 機械が理解できる複雑な契約の型表現がもたらすものは つまるところこのようなもの ずぶぶ(切った腹から証明オブジェクトを引き摺り出す)— Noriyuki OHKAWA (@notogawa) 2016年11月18日 過ぎたるは猶及ばざるがごとし． 最近null安全？だかの話のからみで，(静的な)型で契約云々を表現してシアワセになれるんだぜーと言うのをチラホラ見聞きする．たとえば，pythonで統計なり機械学習なりやっててnumpy弄るような人が，ndarray(多次元配列)のshape(多次元配列の形)が合わずエラーで落ちたりとかそういうアレについて云々という．なるほど型があれば実行前に止めることができ，実行時，エラー*1になってファーみたいなことは避けられるだろう． しかし，これが天国へ続く道かどうかはまた別の話．(依存)型で舗
実世界を扱う依存型プログラミングのたぶん基本～外界から安全な世界までの道 - ぼくのぬまち 出張版
依存型ならさらに安全にプログラミングできちまうんだ！と言ったところで，「無料で遊べちまうんだ！」とか「3000円払えば無料で10連まわせる」みたいな感があり， 依存型使わない場合とどう違ってくるのか 入出力から扱い始めるとどういった形のプログラムになるのか 大概どういう流れでプログラミングすることになるのか とか，そういった話を通しではそんなに見ないかなーという気がしたので，ごく基本的なものを一通りまとめておこうと思って． まず，説明に使う問題設定について．行列演算，特に行列積を考えてみる．ただし，行列の形(行はいくつ，列はいくつ)についてはプログラムの外から入力によって決定するような状況とする．これ自体は普通の問題設定だと思われる． 依存型を使わなければ特にどうということも無い．恐らく行列の型を次のように定義し， -- 形のみ持っておき，中身の数値については簡単のため省略 data Ma
老朽化の進む首都高！ 都民のライフラインを守る最新テクノロジーに迫る | HRナビ by リクルート
写真のように見えるが、実際には点の集合。そして、1つ1つの点が位置データを持っている（後半で紹介）。画像提供：首都高速道路株式会社 終電に乗り遅れ、捕まえたタクシーで首都高（正式名称：首都高速道路）を飛ばして帰宅する。羽田空港に向かう途中で電車が止まり、慌ててタクシーに飛び乗り、首都高を使ってぎりぎりセーフ。そんな経験をもつビジネスパーソンもいるだろう。都内をスムーズに移動するためには、首都高は不可欠なインフラである。 そんな首都高は近年、老朽化がささやかれている。そして、そのメンテナンスには、最先端のテクノロジーが駆使されているとのウワサを耳にした。都民の足の安全は、一体どのように維持されているのだろうか。 そこで、首都高速株式会社に取材を申し入れたところ、快諾。首都高にまつわる気になるあれこれを質問しつつ、都民のライフラインを守るテクノロジーに迫った。 首都高に「隠れパーキングエリア」
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
