Disk Embedding による非循環有向グラフの表現獲得 - LAPRAS AI LAB
LAPRAS のアルゴリズムエぬジニア 兼 リサーチャーの鈴木です。AI Lab への投稿は初めてですので、簡単に自己紹介をしておきます。私は大学で理論物理学の修士号を取った後、大手電機メーカーの研究所で機械学習・信号処理などを研究していましたが、「世の中のミスマッチをなくす」というビジョンに共感し、昨年の11月からLAPRAS (旧 scouty) にジョインしました。これまでの主な研究成果は [Suzuki, 2014], [Suzuki, 2017] などです。よろしくお願いします。LAPRAS のリサーチチームでは、LAPRASの「世の中のミスマッチをなくす」というビジョンを達成するため、「個人に最適な選択肢を与えるための基盤技術」となりうる分野について調査・研究を進めています。現在は特に、自然言語処理、知識グラフ、埋め込みの分野から新しいブレークスルーが生まれるのではないかと信じ
As a computer science theorist, I want to thank Japanese polices · Issue #47 · hamukazu/lets-get-arrested
tl;dr: Japanese polices have just solved the halting problem Background Definition: Halting problem is: Given any Turing Machine M and an input s, decide whether M(s) halts. In common words, halting problem is saying, given a program, and some inputs, determining whether the program exits at all. In 1936, Alan Turing proved that there is no hope we can write a program to solve such a problem. But
Chiselとは何者か、なぜRISC-Vで使われているのか - Qiita
表題の通り、RISC-Vで使われているHDL（？）のChiselに興味が湧いたので調べていたのですが、このChisel、さっぱり正体がつかめません。 日本語、英語問わず解説記事が少なすぎです。 そもそも、どのレベルのハードウェア記述を対象としているのか、言語の狙いはなにか、から分かりません。 RISC-Vという「普及させたい」CPUの記述言語に選んだわけですから、きっと何かすごい理由があるはずなのです。 せっかく調べたので、まとめます。 Chisel の特徴 ここは公式の箇条書きや、DAC2012の論文を読み込んでいくのが近道のようです。 ハードウェア構築（construction）言語（高位合成言語ではない） Scalaの処理系をベースに拡張された言語 代数的（algebraic）構築と配線 Scalaにはalgebraicという概念のデータタイプ（sum type）があり、それが使える
D言語もくもく会(1) (2019/01/26 14:00〜)
お知らせ ソーシャル認証に頼らず安全にログインしていただくため、すべてのユーザーに対してパスワードの設定を必須といたしました。まだパスワードを設定されていない方は、パスワード設定画面よりご設定をお願い申し上げます。 機能改善 領収データ発行機能にてインボイス制度の書式での出力に対応しました。 詳しくはこちらをご覧ください。 新機能 参加者によるオンライン出席機能をリリースしました。今までは主催者による出席管理機能はありましたが、大規模イベント等での受付処理が大変とのフィードバックをいただいてました。今後はイベント作成時に発行される「出席コード」を会場現地や配信で共有してもらうことで、参加者自身でイベント出席登録を行うことができるようになります。これにより受付処理が容易になりますので、イベント主催者の皆様はぜひご活用ください。詳しくはこちらのニュース や 特集ページ をご確認ください。
DUBに対応したD言語のREPL/Jupyter
前節から，とりあえずDMDEngine.compileModule関数を拡張して，DUBを使って外部ライブラリを過去のモジュール同様にパスを通して，インクルード/リンクしてやれば良いということがわかります．残念ながらDMDEngineはクラスではなく構造体なので，継承とかはできず，コピペしました． struct DUBEngine { /// 他の部分はDMDEngineのコピペ this(string[] packages, CompilerOpt compiler, string tmpDir) { ... packages.each!(p => this.registerPackage(p)); } /// REPLをビルドする dub.json から package を抽出 void registerPackage(string _package) { import std.fil
D言語でコンパイル時に動く正規表現エンジンを作る
そもそもD言語にはstd.regex.ctRegexというコンパイル時正規表現エンジンがあるのですが，パターンのコンパイルはできてもマッチなどの操作はコンパイル時は動きません． import std.regex; void main() { // 公式ドキュメントの例をauto -> static constに // Error: cannot convert `&immutable(Regex!char)` to `Regex!char*` at compile time ... static const ctr = ctRegex!(`^.*/([^/]+)/?$`); static const c2 = matchFirst("foo/bar", ctr); // First match found here, if any static assert(!c2.empty); //
作りたいWebアプリのアイディアを迷走せずに作る方法。まず、エディターを閉じることから始めよう - Make組ブログ
何かを作りたいときは、エディターをいきなり起動してはいけません。 エディターを閉じて、まずはイメージをまとめることに集中しましょう。 なぜこの文章が必要か なぜ何かを作る前にイメージをまとめる必要があるのでしょうか？ 頭の中には完璧な作りたいもののイメージがあることでしょう。 であれば今すぐにでもプログラミングを始めるのが賢明なように思えます。 ですがそうしてはいけません。理由は「作りたいもののイメージは単なる幻想だから です」。 頭のなかにあるイメージはとても素晴らしいものですが、多くの場合は曖昧で、触れられない、価値を検証できないものです。 それを一旦書き出して、まとめていく方法を知っておきましょう。 まとめていく中で作るものがより明確になり、自分でも気づかない価値を発見できます。 作るものをまとめて検証することで、作り始めた後の手戻りを防ぎます 作るものをまとめて明確にすることで、作
「うんこボタン」全品交換の理由 - ITmedia NEWS
ソフトウェア開発会社の144Labは11月26日、同社が販売しているIoTデバイス「うんこボタン」の不具合について発表した。赤ちゃんの排泄をボタンを押すだけでクラウドに記録する「うんこボタン」は、これまで販売した全品が通信の不具合により動作しなくなったため、同社が回収し交換する。 不具合の原因は「2018年11月24日のうんこボタンサーバの通信環境アップデートにおけるミス」と同社は説明。後進復帰も不可能であるためボタンデバイス側のファームウェアを直接更新する必要があるという。 うんこボタンは、2つの押しボタンで赤ちゃんがうんこ、おしっこをしたタイミングをクラウドに記録。スマートフォンで使えるWebアプリとの連動により、固いか柔らかいかといった細かい情報を後で追加することもでき、それらの情報をLINEグループにより家族などと共有できる。2017年にMakuakeでクラウドファンディングし人気
開発組織のプラクティスや文化を科学する：『LeanとDevOpsの科学』書評 - こまどブログ
11月22日（昨日！）に発売されたばかりの、『LeanとDevOpsの科学[Accelerate] テクノロジーの戦略的活用が組織変革を加速する』を読んだ。 LeanとDevOpsの科学[Accelerate] テクノロジーの戦略的活用が組織変革を加速する (impress top gear) 作者:Nicole Forsgren Ph.D.,Jez Humble,Gene Kim発売日: 2018/11/22メディア: 単行本（ソフトカバー） この本は、すぐに現場に活かせる新しい知見を提供するものことを主眼としたものではない。タイトルにあるように、科学の本なのだ。しかし、人文系出身の自分にも読みやすい形で、論文の成果を提示してくれる。そして、その成果の中には、現場のエンジニアとして役立てられるものも含まれている、価値のある書籍だ。以下、紹介したい。 書籍の特質 科学的アプローチ ソフトウ
最近のQiitaの記事の質が下がってきている事への考察 - Qiita
ここ最近、Qiita上でクソ記事書くなとか、炎上YouTuberとか、今後必要になる～～とか、全ての開発者が～～とか、 そしてそれらの記事に対する反論記事にアンサー記事、言ってしまえばこの記事だってそうなるけども そういうモノが多い気がしませんか Qiitaって、そういう目的のサイトだったんでしょうか？ 確かにPHP触らない人は基本PHPの記事は見ないし、C#について調べている最中にHaskellの記事は読まない。 Pythonで機械学習しようとしてる人は3Dオブジェクトが云々の記事を見ないし、AWSマスターだと言える人はAWS初心者向けはあまり開かない。 そのため、記事のジャンルによってはいいねの数も付きやすさも変わって、大衆受けするものがトレンド入りしやすくなるし、まして"全ての開発者"なんて広い主語の記事は大体の人は気になって見に行くし、結果いいねが付きやすくなる。 大人数のユーザー
全ての開発者が学ぶべき1つの言語 - Qiita
「どの言語を学ぶべきか」という議論が都内各所で流行しているようなので、FPGA論理合成の間に暇だったので私も書いてみることにしました。 1.D言語 D言語はサーバーサイドのアプリケーション開発をリードできる言語です。 モバイルゲームやAndroidアプリの開発、そしてエンタープライズWebアプリケーションの開発まで、非常に大きなマーケットに大胆かつ冒険的な野心的大挑戦が行えます。 頑強でスケーラブルなサーバーサイドアプリケーションを開発したいなら、あなたはD言語を学ぶべきです。どのように複雑なシステムであってもD言語で書けますし、様々なツールやテクノロジー、そしてコミュニティのサポートを得ることができないこともないこともないかもしれません。少なくともソースコードは公開されています。 なぜD言語を学ぶ必要があるのでしょうか？D言語を使うことで、システムレベルの詳細事項やメモリ管理に手を入れる
Perl を書き続ける理由と大事にしたいこと | #interest_ae
私がプログラミングをするときの第一言語は Perl です。周囲には「私は Perl 以外のプログラミング言語はよくわかりません」と念を押すくらいには Perl ばかり書いています。 しかし、2018年の今日 Perl は一定の役割を終えた古い言語とみなされ、メインストリームからは退いたと多くの人が考えています。10年前の2008年を思い返しても、複数の対抗言語の登場で Perl に陰りがあった事は事実ですし、今日のメインストリームに Perl が居ないことを改めて言う必要も無いでしょう。 それでもなぜ私は Perl を書き続けるのか、少し考えてみました。 私と Perl 私と Perl との本格的な出会いの場は、大学院を卒業した2003年に入社したIT企業です。その会社がメインで使用していたプログラミング言語が Perl だったので自然と Perl を書くようになりました。 2003年3月
CPUの作り方 - 富士通
シリコン（ケイ素）の大きな単結晶（純度99.999999999％）を、ダイヤモンドブレードでスライスして、薄いシリコンウェーハを作ります。
『機械学習のエッセンス』はゼロからガチで機械学習を生業にしたい人が「いの一番に」読むべき一冊 - 六本木で働くデータサイエンティストのブログ
機械学習のエッセンス -実装しながら学ぶPython,数学,アルゴリズム- (Machine Learning) 作者: 加藤公一出版社/メーカー: SBクリエイティブ発売日: 2018/09/21メディア: 単行本この商品を含むブログを見る発売されてからだいぶ経ちますが、構想段階の頃より著者の「はむかず」さんこと加藤公一さんからお話を伺っていて注目していたこちらの一冊をようやく一通り読みましたので、サクッと書評めいた何かを書いてみようかと思います。 各章の概要 言うまでもなく実際の内容は皆様ご自身でお読みいただきたいのですが、これまでの書評記事同様に概要を簡単にまとめておきます。 第01章 学習を始める前に Python環境やAnacondaのインストールについての説明もなされているんですが、重要なのは後述する「本書は何を含まないか」という節。ここに本書の狙いの全てが書かれていると言って
AWSにおける形式手法 - masateruk’s blog
AWSにおける形式手法の記事（https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf）を読んだ。特に重要だと思われる示唆を3つあげると以下の通り。 産業界では長年形式手法は多大な工数をかけて比較的容易なコードの断片を検証するというイメージがあったが、これはまったくの誤り。現実の問題に適用可能である アマゾンでは10の現実のシステムに適用して、すべてで効果が得られた。難解なバグの発見したり、正当性を犠牲にすることなく確信を持って最適化を施せた 7つのチームでTLA+を使用。エンジニアは2−3週間で学習することができる 以下は、読んでいる途中で書きだした要点。 AWSでは2011年以降形式仕様とモデル検査を使用している 複雑な分散システムを検証するにあたって、従来の手法 ― 設計レビュー、コードレビュー、静的解析、ストレス
これ、実はけっこう深遠な話
もはや無効なメタファー…というわけでもない書き方は釣りっぽいけど、今30代前半以下のPCユーザーにはフロッピーディスクを実際に見たことがない人達が多いはずで、あのアイコンが「保存のメタファー」として直感的でなくなってるのは確かだと思います。 ただ、検索を虫眼鏡アイコンで、電話を黒電話アイコンで、電気を稲妻アイコンで表象するのと同じように、ひとたびユーザーの側に「これはこういうもの」という強力な連想が確立・共有されてしまえば、ユーザーが必ずしもその表象されてる実物を知らなくても大きな問題は起きないようにも思います。 そもそも機能アイコンとは何なのかそれより何より、自分が昔から気になってるのは、この保存アイコンに代表される「機能アイコン」の特殊性についてです。多くの人々が感じているように、機能アイコンには意味がわかりにくいものが多い。たとえばWordやExcelだとこんな感じ： https:/
1量子ビットしか使えない「弱い」量子コンピューターでも、古典コンピューターより「強い」ことを証明しました
現在、世界中で多くの研究者が量子スプレマシーの実現にむけて研究を行っています。本研究は、それらの理論的基盤を整備するものであり、今後の量子計算の理論的、実験的研究の発展に大きく寄与すると期待できます。また、量子スプレマシーの研究は、単に古典に対する優位性を示すだけでなく、有用な量子アルゴリズムの開発につながることも目指しています。one-clean qubitモデルを使った高速な量子アルゴリズムを開発するのは、今後の重要な課題です。 本研究成果のポイント 実質的に1量子ビットしか使えない「弱い」量子コンピューターが、古典コンピューターよりも「強い」のかどうか不明であった。 そのような弱い量子コンピューターが、ある場面では古典コンピューターより高速であることを計算量理論的基盤に基づいて証明した。 現在、世界中で進んでいる量子スプレマシー研究の理論的基盤を整備する結果であり、当該分野の研究をさ
#dlang マイナス時間で完了するfizzbuzz - Kotet's Personal Blog
D言語なら、この程度の処理はマイナス時間で完了する。 コンパイル時にメッセージまで出力し、プログラムが開始する前に全てを終わらせられるのだ。 - outland_karasuのコメント / はてなブックマーク 前回からdmdのバージョンが上がり、 static foreachも入ったのでD言語 Advent Calendar 2017 5日目の記事としてもう一度fizzbuzzを書いてみる。 しかし自分は記憶力がないのでそもそもfizzbuzzとは何かを忘れている。 ここであらためてfizzbuzzを説明しよう。 1から100までの数をプリントするプログラムを書け。 ただし3の倍数のときは数の代わりに｢Fizz｣と、5の倍数のときは｢Buzz｣とプリントし、3と5両方の倍数の場合には｢FizzBuzz｣とプリントすること。1 というわけでstatic foreachを使ってFizzBuzz
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
東北大、バッテリなしで動作するIoT向け不揮発性マイコンを世界初実証
reduxでビジネスロジックをゴリゴリ書く
