http://www.artnet.com/artists/barbara-kruger/untitled-your-taste-is-in-your-mouth-Z2TlAc5ngocunIs78SnBLg2
constexprとconstを正しく使い分ける - Qiita
はじめに これまでconst修飾してきたものには２種類あった、ひとつはROM化可能な値、もうひとつは実行時にしか決まらないがいったん初期化したあとは二度と変更されない値である。C++11以降、前者はconstexprが受け持ち、後者はconstが受け持つことになった。 constexpr指定子は、constexprの制約を満たした変数の定義、関数と関数テンプレートの宣言、staticデータメンバーの宣言に対して使用できる。 ２つの区別 constは型修飾子である。const intはint型であるが、初期化したあとは二度と変更されない変数である。C++11以降、constexprが導入されたあとは、constはRAMにしか配置できない変数に対して使う修飾子となった。 constexprは型修飾子ではなく、型指定子である。型を修飾するものでなく、ROM化できる、または、ROM化できる可能性が
Product Announcement
As Adobe continues to re-focus on developing products and solutions that provide our customers with the most value, we are now announcing the end of new feature development for Adobe Muse CC. Timeframe On March 26, 2018 we will release the final feature improvement release of Adobe Muse. We will continue to offer technical support to all active Creative Cloud customers until March 26, 2020. Please
Product Announcement
As Adobe continues to re-focus on developing products and solutions that provide our customers with the most value, we are now announcing the end of new feature development for Adobe Muse CC. Timeframe On March 26, 2018 we will release the final feature improvement release of Adobe Muse. We will continue to offer technical support to all active Creative Cloud customers until March 26, 2020. Please
パペットワープ
Illustrator ユーザーガイド Illustrator とは Illustrator の概要 Illustrator の新機能 よくある質問 Illustrator の必要システム構成 Apple Silicon での Illustrator の使用 ワークスペース ワークスペースの基本 ドキュメントの作成 Illustrator のもっと知るパネルで学習を高速化 コンテキストタスクバーを使用してワークフローを加速 ツールバー デフォルトのショートカットキー ショートカットキーのカスタマイズ アートボード入門 アートボードの管理 ワークスペースのカスタマイズ プロパティパネル 環境設定の指定 タッチワークスペース Illustrator での Microsoft Surface Dial のサポート 編集の取り消しとデザインヒストリーの管理 ビューを回転 定規、グリッド、ガイド I
『凪のあすから』篠原俊哉監督とP.A.WORKS制作の新作発表
本作は『凪のあすから』の篠原俊哉監督とキャラクター原案にフライ氏を迎えたオリジナル作品で、色覚を失くした少女「月白瞳美」と、瞳美を導く少年「葵唯翔」とのガール・ミーツ・ボーイの物語。瑞々しい体験を通して成長する心の姿を描いていく。 物語のはじまりは数十年後の長崎。日常の中に小さな魔法が残るちょっと不思議な世界。主人公の月白瞳美は17歳。魔法使い一族の末裔。幼い頃に色覚を失い、感情の乏しい子になった。そんな瞳美の将来を憂えた大魔法使いの祖母・月白琥珀は魔法で瞳美を2018年へ送り出す。突然、見知らぬ場所に現れとまどう瞳美の視界に鮮烈な色彩が飛び込んでくる…。 ■スタッフ 監督：篠原俊哉 シリーズ構成：柿原優子 キャラクター原案：フライ キャラクターデザイン・総作画監督：秋山有希 プロデュース：infinite アニメーション制作：P.A.WORKS ■キャスト 月白瞳美：石原夏織 月白琥珀：
NHK、ニュース番組に“AIアナ”導入へ 同局初の試み
デザインは、人気キャラクター「コップのフチ子」の原作者・タナカカツキ氏が手掛け、「ニュースのヨミ子さん」と命名。当面は、同番組の専属リポーターを務め、毎週水曜日のコーナーに登場する。NHKは「新人なので最初はたどたどしいと思いますが、“読み”“動作”など1年掛けて、成長（機械学習）していきます」としている。 現状、思考能力などは備わっていないといい「将来的には、考えて会話ができ、疑似感情を持つ、真の意味での“AIアナウンサー”を育てていきたい。そして、全国の番組へ羽ばたいて、活躍してもらいたい」と期待を込めた。 「より多くの人にニュースを届けたい」との思いから開発された「ニュースのヨミ子さん」。番組外では、「スマホAR」への参入や、スマートスピーカーで最新ニュースの読み上げなど、視聴者の手元に直接届くようなサービスを展開していく。
コラム - グーグルのクラウドを支えるテクノロジー | 第35回 社内横断データセット検索システム「Goods」（パート1）｜CTC教育サービス 研修/トレーニング
[IT研修]注目キーワード Python UiPath(RPA) 最新技術動向 Microsoft Azure Docker Kubernetes 第35回 社内横断データセット検索システム「Goods」（パート1） (中井悦司) 2018年3月 はじめに 今回からは、2016年に公開された論文「Goods: Organizing Google's Datasets」をもとにして、Bigtable、Spanner、GFSと言った、Google社内のデータストアを横断的に検索可能にするツール「Goods（Google Dataset Search）」を紹介していきます。最近、複数のデータストアにまたがった情報を横断的に検索・活用する手法として、「データレイク」という考え方を耳にするようになりました。これは、260億件という膨大な数のデータセットに対してデータレイクの仕組みを実現した、Goog
MinCamlをLLVMに対応させました - みずぴー日記
きつねさんでもわかるLLVM【電子書籍】柏木餅子, 風薬 達人出版会 発行日: 2013-02-08 対応フォーマット: EPUB, PDF 詳細を見る 先日、表紙がかわいかったので、「きつねさんでもわかるLLVM」を買いました。 なので、MinCamlを改造して、バックエンドにLLVM対応コードを追加してみました。 とりあえずテステケースは全部通ったので、まとめておきます。 MinCamlとは 別名「美しい日本のMLコンパイラ」。住井先生によるMLサブセットであり、以下のようなコードを書けます。 let rec fib n = if n <= 1 then n else fib (n - 1) + fib (n - 2) in print_int (fib 30) 詳しくは解説スライドあたりを読んでください。 やったこと バックエンド部分をLLVMにきりかえた。 LLVMの作法に合せるた
悪魔のもつ“二面性”を、デザインに落とし込む。『メギド７２』は、新しいヴィジュアルを生むために何をしてきたか？ – フルスイング – DeNA
「このゲーム、デザインの世界観が丁寧に作り込まれていて素敵だな」 ゲームで遊ぶ人は、こういった体験を一度はしたことがあるはず。システムや戦略性と同じくらいに、デザインはゲームの良し悪しを決定づける重要な要素です。 デザインコンセプトに統一感を持たせ、質の高いものにするには、プロジェクトを俯瞰して全体を設計できるメンバーが必要です。DeNAのゲーム開発の現場ではヴィジュアルオーナー（※1）というポジションの社員がその役割を担い、ゲームの美しい世界観を作るため“フルスイング”しています。 同グループの高木正文は『メギド７２（※2）』のヴィジュアルオーナーであり、キャラクターデザインも担っているメンバー。彼が大事にしている流儀とはいったい何なのでしょうか？ ※1…ヴィジュアルオーナーについて詳しく知りたい方はこちらもご覧ください 。 ※2…フォトンドリヴン世界救済RPG。72柱の悪魔を育成して世
GitHub - esumii/min-caml: moved from https://sourceforge.net/p/min-caml/code/
An educational compiler for a minimal subset of OCaml, written in ~2000 lines of OCaml. For details, see: http://esumii.github.io/min-caml/ (Japanese Web page) http://esumii.github.io/min-caml/jpaper.pdf (Japanese academic paper) http://esumii.github.io/min-caml/index-e.html (English Web page) http://esumii.github.io/min-caml/paper.pdf (English academic paper) 1. Install OCaml (http://caml.inria.f
ライブラリを監視してうまく付き合っていく / railsdm 2018 day2
Новый уровень ML-персонализации Lamoda: Как мы усилили ее в каталоге и перенесли на другие продукты
連載コラム「税の交差点」第40回：タマは政府にある――政府は自らの責任を果たして日銀と信頼関係の構築を | 研究プログラム | 東京財団政策研究所
コラム 税・社会保障改革 連載コラム「税の交差点」第40回：タマは政府にある――政府は自らの責任を果たして日銀と信頼関係の構築を March 22, 2018 金融政策 税 税の交差点 日銀黒田総裁が再任され、あわせて副総裁として、日銀理事から昇格した雨宮正佳氏と、大学教授から転じた若田部昌澄氏が就任し、新体制が整った。5年前のバランス、つまり総裁を日銀生え抜きとリフレ派学者が支えるという構図はかわらず、黒田総裁1期の金融政策が今後も継続するというメッセージを送ったといえよう。 新体制の発足に当たって筆者が考えていることを以下述べてみたい。 5年間異次元の金融緩和などあらゆる政策手段を総動員して金融政策を行ったわけだが、２％という物価目標は達成されていない。これをどう考えるかということがもっと議論されてよい。 アベノミクス「3本の矢」の第１「大胆な金融政策」ということで、２％のインフレター
Semantics of Asynchronous JavaScript
Semantics of Asynchronous JavaScript Matthew C. Loring Google Inc, USA mattloring@google.com Mark Marron Microsoft Research, USA marron@microsoft.com Daan Leijen Microsoft Research, USA daan@microsoft.com Abstract The Node.js runtime has become a major platform for de- velopers building cloud, mobile, or IoT applications using JavaScript. Since the JavaScript language is single threaded, Node.js p
電子情報通信学会学生ポスターセッション - TOPページ
方形導波管誘導性窓共振器型フィルタ回路のPSOを用いた回路設計 ・・・井手元慎平，平岡隆晴，豊嶋久道（神奈川大）
【写真で見る】新年を民族衣装とバイクで祝うインドの女性たち - BBCニュース
新年を民族衣装とバイクで祝うインドの女性たちなど、先週（3月17～23日）の世界のニュースから選りすぐりの写真を紹介する。
Toshiba expects China clearance for chip sale ‘within days’
was ¥69600 now ¥41749 for your first year, equivalent to ¥3480 per month. Make up your own mind. Build robust opinions with the FT’s trusted journalism. Take this offer before 24 October. Global news & analysisExpert opinionFT App on Android & iOSFT Edit appFirst FT: the day’s biggest stories20+ curated newslettersFollow topics and set up personalized alertsFT Videos & Podcasts10 monthly gift arti
Alphons Kannanthanam: India minister's 'naked' visa claim criticised
Alphons Kannanthanam said Indians have no problem "getting naked" for a US visa, but complain about Aadhaar An Indian minister has sparked a social media storm with his comments on the country's controversial biometric identity scheme. Alphons Kannanthanam said Indians had no problem "getting naked" for a US visa, but object to the Aadhaar scheme over privacy concerns.
リベリア――肌の色で市民権が決まる国 - BBCニュース
たくさんの人々がこの国の不安定な日々から逃げ出しても、彼はとどまり続けた。彼は、自身が愛し、ふるさとと呼ぶ国の成功を見届けようと固く決意していた。 しかしヘイジさんは、リベリアでは二級市民だとされている。実際、彼は市民ですらないのだ。肌の色と、家族のルーツがレバノンにあるという理由で、リベリア社会の正式な一員となることを妨げられている。
GLOBIS 知見録
人材育成のプロが組織の成長に伴走します。生成AIを活用した各種機能、MBA基礎〜DXなど最新知識まで測定もできるeラーニングも用意。 詳細を見る 人生訓として持ち続ける“卒業生”も リクルートの旧・社訓「自ら機会を創り出し、機会によって自らを変えよ」は、創業から8年目に当たる1968年に、創業者である江副浩正氏によって作られた。1989年に公式の社訓としては姿を消した（理由は後述する）が、2006年現在も、この社訓が入ったプレートを机に飾るベテラン社員がいるなど、同社の中にいまも強く根付いている。 リクルートを“卒業”して独立した人々の中にも、この社訓を人生訓として持ち続けている人は少なくない。リクルートの看板媒体の一つ「ゼクシィ」を立ち上げ、その後、2001年に同社を退職してウェディング事業会社などを起業した、小岸弘和・ディアーズ・ブレイン社長も、その一人だ。「リクルートにいる間も、リク
首相、昭恵夫人の説明拒否 森友問題「私が責任持ち答弁」 ｜ 共同通信
安倍晋三首相は26日の参院予算委員会で、森友学園問題に関し、昭恵夫人による説明を拒否する考えを示した。「私がこの場で責任を持って今まで答えている」と述べた。財務省の太田充理財局長は、決裁文書改ざんを誰が指示していたのか現段階では特定できていないとの認識を表明した。佐川宣寿前国税庁長官が指示したかどうかは「今後の調査、捜査を待たなければならない」と語った。 首相は、民進党の増子輝彦氏が昭恵氏の説明責任を求めたのに対し「（昭恵氏に対して）これを聞いてもらいたいと私に言っていただければ、私が答える」と強調した。
シンクタンクならニッセイ基礎研究所
疫学では、環境と病気の関係を把握するために統計学を用いた研究が用いられることが多い。これは、ある環境に置かれた人が、特定の病気にかかりやすいということを、患者のデータをもとにつきとめようとするものである。 研究方法は、大きく、前向き研究と、後ろ向き研究に分けられる。前向き研究は、時間の順番を追って研究を進める方法で、まず、ある環境に置かれている人と、置かれていない人を複数抽出する。そして、一定の時間が経過した後に、それぞれの中で特定の病気になった人と、なっていない人を把握して、分析をするというやり方である。一方、後ろ向き研究は、時間をさかのぼって個々の人の環境と病気の状況を把握する方法である。現在、特定の病気になっている人と、なっていない人を抽出する。そして、それぞれの人が、一定期間前に、ある環境に置かれていたかどうかを確認しにいく。 例として、喫煙と糖尿病の関係についての研究をとってみよ
シンクタンクならニッセイ基礎研究所
■要旨 失業率が約22年ぶりの2％台まで低下するなど雇用関連指標は大幅な改善が続いており、企業の人手不足感もバブル期並みの高さとなっている。こうした中、人手不足が経済成長の制約要因になるとの見方が増えている。 足もとの人手不足は労働需要の強さが主因であり労働供給力は低下していない。10年前（2007年）の雇用政策研究会の報告書では、2017年の労働力人口は、労働市場への参加が進まないケースでは2006年と比べ440万人の大幅減少、労働市場への参加が進むケースでも101万人の減少が見込まれていた。実際の労働力人口は、女性、高齢者の労働参加拡大が予想以上に進んだことから、10年間（2007～2016年）で9万人増加した。 就業を希望しているが求職活動を行っていないため非労働力人口とされている潜在的な労働力は380万人（2016年）いる。人口の減少ペースは今後加速するが、労働力率を潜在的な労働力
マンスリー・マーケット｜日興アセットマネジメント
投資信託は、値動きのある資産（外貨建資産には為替変動リスクもあります。）を投資対象としているため、基準価額は変動します。したがって、元金を割り込むことがあります。投資信託の申込み・保有・換金時には、費用をご負担いただく場合があります。詳しくは、投資信託説明書（交付目論見書）をご覧ください。 当資料は、日興アセットマネジメントが経済、市況ほか、投資環境などについてお伝えすることを目的として作成したものであり、特定ファンドの勧誘資料ではありません。また、弊社ファンドの運用に何等影響を与えるものではありません。なお、掲載されている見解は当資料作成時点のものであり、将来の市場環境の変動等を保証するものではありません。
Japan Slowly Challenges China's Dominance As An Investor In Africa
Japanese Prime Minister, Shinzo Abe (L) and Kenya's President Uhuru Kenyatta (R) shakes hands after... [+] a joint press conference with Kenya's President at the State House at the end of the Tokyo International Conference on African Development in Nairobi in 2016. (SIMON MAINA/AFP/Getty Images) Japan raised its investment to Africa in 2014 with a pledge of $32 billion that included aid, loans and
Egyptian police kill 6 Alexandria attackers during raid
Egypt: Police kill 6 people in connection to Alexandria bombing Perpetrators of Saturday’s attack on the coastal town were tracked down and killed, Egyptian authorities say. Saturday's attack came just days before Egyptians vote in presidential elections [Fawzy Abdel Hamied/Reuters] Egyptian authorities said they killed six people on Sunday in connection to a deadly car bombing that targeted the c
Yemeni women: Our situation just gets worse and worse
As the war on Yemen enters its fourth year, women in Sanaa say death and destruction stalks every family. Sanaa, Yemen – Suha Salem tries to hide her pain and anguish, but the suffering inflicted upon her by Yemen’s relentless three-year-war is etched on her face. As her eyes shift from left to right, the conflict has devastated nearly every neighbourhood in the densely populated capital, she says
移転価格税制とは
適正な国際課税を実現 移転価格税制とは、国境をまたいだ関連会社間の取引価格を適正に設定することで、企業の所得移転や租税回避を防止するルールです。 企業が海外の関連企業等の国外関連者との棚卸資産の売買、役務の提供などの取引価格（移転価格）を通常の価格と異なる金額に設定すれば、一方の利益を他方に移転することが可能となります。そのため、移転価格税制は国外関連者との取引価格を資本・支配関係のない独立の第三者と取引した価格（独立企業間価格）で計算し直すことで、適正な国際課税の実現を目的とするものです。移転価格税制の運用上は、企業に租税回避の意図があったかどうかは問われません。 日本は、国外関連取引を通じた所得の海外移転に対処することにより、適正な国際課税を実現することを目的として、1986年に移転価格税制を導入しました。これは法人の国外関連者との取引価格を独立企業間価格（ALP：Arm’s Leng
OCamlで公共スポーツ施設の空き状況をスクレイピングするスクリプトを書いてみた | Recruit Tech Blog
この記事は RECRUIT MARKETING PARTNERS Advent Calendar 2017 の投稿記事です。 こんにちは。スタディサプリENGLSHでサーバーサイドとインフラを担当している松川です。 バスケットボールを趣味にしているのですが、体育館など公共スポーツ施設の予約がなかなか取れない… 都心近郊ですと人口に対してスポーツ施設が少ないため、すぐに枠が埋まってしまいがちです。稀にキャンセルが出ることもありますが、自治体のwebサイトにプッシュ通知やRSSといった類のものは滅多にありませんので、こまめに巡回しなくてはなりません。 流石にそれは効率的ではないので「何かクローラーでも書こうかなぁ…」と思っていたところ、同僚から「OCamlのlamdba-soupというライブラリがええで！」と紹介してもらったので、これを期にOCamlデビューしてみることにしました。 結論から言
Kyle Miller - UCSC Engineering
Assistant Professor of Engineering, UC Santa Cruz Email: kymiller@ucsc.edu Office: BE-353A Pronouns: he/him I am an assistant professor at UC Santa Cruz. I work on formalized mathematics and interactive theorem provers, and previously I studied low-dimensional topology (especially knot theory) and combinatorics. I am a maintainer for the mathlib, the Lean mathematical library. I am also affiliated
Gravity Probe B - Frequently Asked Questions
Questions Grouped by Category General Information Questions: Where can I find an overview or summary that succinctly describes the Gravity Probe B experiment? Is there a video or DVD describing the GP-B experiment that I can order? Do you have educational materials about GP-B that teachers or educators can order? Where can journalists and members of the press or media find information, photos and
CBCL StreetScenes Database Download Page:
CBCL StreetScenes Challenge Framework: Last updated 3/27/2007 Please contact Stan Bileschi with questions or concerns. The StreetScenes Challenge Framework is a collection of images, annotations, software and performance measures for object detection. Each image was taken from a DSC-F717 camera at in and around Boston, MA. Each image was then labeled by hand with polygons surrounding each exampl
ウイルスバスター for Mac の Big Surへの対応状況を教えてください。
恐れ入りますが、メンテナンスのためログイン/投稿を制限中です。製品利用について不明点がございましたら、Trend Companion をぜひご利用ください。 詳細はこちら トレンドマイクロ お客さまコミュニティ トレンドマイクロ製品に関する疑問をサポートしあえるコミュニティです。アイデアもお気軽にご投稿ください。
採用情報
オンプレミスからクラウドへの移行をはじめ、ハイブリッドクラウド環境をシームレスに保護しながら、クラウドの利点を実現します。 詳しくはこちら
gokrazy Go appliances :: gokrazy
navigation gokrazy Go appliances With gokrazy, you can deploy one or more Go programs as appliances to a Raspberry Pi, Virtual Machine, embedded or normal PC (see supported platforms). gokrazy uses its own minimal Go userland instead of a traditional Linux distribution base. This minimalist approach offers several advantages in terms of security, maintainability and reliability: The surface area f
ActiveSupport::Testing::TimeHelpers
Changes current time to the time in the future or in the past by a given time difference by stubbing Time.now, Date.today, and DateTime.now. Time.current # => Sat, 09 Nov 2013 15:34:49 EST -05:00 travel 1.day Time.current # => Sun, 10 Nov 2013 15:34:49 EST -05:00 Date.current # => Sun, 10 Nov 2013 DateTime.current # => Sun, 10 Nov 2013 15:34:49 -0500 This method also accepts a block, which will re
GitHub - fastruby/fast-ruby: :dash: Writing Fast Ruby -- Collect Common Ruby idioms.
In Erik Michaels-Ober's great talk, 'Writing Fast Ruby': Video @ Baruco 2014, Slide, he presented us with many idioms that lead to faster running Ruby code. He inspired me to document these to let more people know. I try to link to real commits so people can see that this can really have benefits in the real world. This does not mean you can always blindly replace one with another. It depends on t
命令型プログラミング - Wikipedia
この記事には独自研究が含まれているおそれがあります。問題箇所を検証し出典を追加して、記事の改善にご協力ください。議論はノートを参照してください。（2021年3月） この記事には参考文献や外部リンクの一覧が含まれていますが、脚注によって参照されておらず、情報源が不明瞭です。脚注を導入して、記事の信頼性向上にご協力ください。（2021年3月） 命令型プログラミング（めいれいがたプログラミング、英: imperative programming）は、プログラムの状態（英語版）を変化させるステートメントを基本文に用いる総称的なプログラミングパラダイムである。ステートメントではコマンド（命令文）が多用される。宣言型プログラミングと対をなしてのプログラミング言語の分類用語としても扱われている。宣言型の数学的性質に対して、命令型はノイマン型コンピュータ向けの計算機科学特有の性質である。このパラダイムは、
Can F# units of measure be implemented in OCaml?
F# has a units of measure capability (there's more detail in this research paper). [<Measure>] type unit-name [ = measure ] This allows units to be defined such as: type [<Measure>] USD type [<Measure>] EUR And code to be written as: let dollars = 25.0<USD> let euros = 25.0<EUR> // Results in an error as the units differ if dollars > euros then printfn "Greater!" It also handles conversions (I'm g
妻、プログラミングを始める - aster_ismの工作室
この記事は https://adventar.org/calendars/2238 の12/9の記事です。 さて、元々名古屋界隈のITエンジニアのコミュニティの忘年会に一緒に参加したこともあって、夏ぐらいから妻がプログラミングをやってみたいというようになってきました。 とは言っても妻はプログラミングのプの時も全く知らない非エンジニア。先日参加してたNGK2017Bでは @Kazuki_Kachi さんがC#(言語) とC♯(音楽)という風にお互い思いつくことが違うという話をされてました。我々もお互いのバックグラウンドによって思いつくことがちがったりすることがあるので、質問されたら相手がどう考えているのか？何がわからないのか？をちゃんと聞きながら教えてあげないと余計に混乱してしまいます。特にずっと理系な道を進んできた自分からすると、全く疑問に思わないようなことを悩むことがあるということをちゃ
Programming Language (7) lexers and parsers
Programming Language (7) lexers and parsers 1 / 5 Introduction All programming language implementations first read a program and check its grammar ▶ lexical analyzer (“lexer” or “tokenizer”) ▶ syntax checker (“parser”) they are necessary not only in programming language implementations but in many other circumstances ▶ web pages (HTML or XML) ▶ CSV, SVG, . . . files . . . ▶ config files of software .
型安全の夢を一行で打ち砕く黒魔術入門 - Qiita
ドキュメントを眺めていて、こんな記述を見つけました。 型システムは完全に「安全」です。 これは、コードがコンパイルされている限り、すべての型に誤りがないことが保証されることを意味します。 従来のベストエフォートな型システムでは、例えば「Integer は決して null にならない」と言っていたとしても、言っているだけで、本当に決して null にならないということではありません。 それとは対照に、純粋な Reason プログラムは null のバグはありません。 私は型理論に明るくないので「型の完全性」が何を示すのかはわかりませんが、型安全の抜け道は知ってます。私だけでなく、 OCaml ユーザーならわかるでしょう。 それは Obj.magic という関数です。この関数の型はこう定義されています。 これを見て笑った人は、この記事を読む必要はありません。もうわかったはずです。 なんだこりゃ
コンパイラ中間言語およびその最適化の設計と実装
こんにちは､びしょ〜じょです｡ 年明けに買った対洗濯物用乾燥機のおかげで窓を開けたりカーテンレールにハンガーを吊るす日々が終わりました｡ ところで2月分の電気代はすでに1月分を越えようとしています｡ 1. はじめに 今年は4年次なので卒業研究! ということでjoin pointを追加したコンパイラ中間言語の設計と､その上での最適化を定義してやっていきました｡ 実装はこちら 卒研発表をスライドを作るためにも､何をしたかを噛み砕いて文に起こしてみたいと思います｡ 2. 関連研究 PLDI 2017で『Compiling without Continuations』1という発表がありました｡ 継続の緑の本をもじったタイトルですが､CPSと直接戦っている感じではないです｡ join pointと呼ばれるものを明示的に扱うことでコードサイズの爆発を抑えたり高速に動作するターゲット言語に変換しようとい
Streams and parsers
The first extension provided by Camlp4 is streams and parsers. A stream is a value of the abstract type 'a Stream.t. It is like a list but where only the first element is available: to read the second element you have to remove the first one from the stream. A parser is a function of type 'a Stream.t -> 'b which makes a kind of pattern matching inside a stream. A first way to create a stream is to
macでSATySFiのデモファイルからPDFファイルを生成するところまで - Qiita
読む前に 公式のREADMEが充実したので、そちらをご覧になってください https://github.com/gfngfn/SATySFi 現状ではこれを読むことによって得られる実用的な価値は特に無いと思います。 あと、SATySFi自体のことを知りたいのなら、The SATySFi Bookがあります。https://gfngfn.booth.pm/items/1046747 はじめに 2018/02/10のお昼過ぎにTwitterのタイムラインを見ていたら、SATySFi（"satisfy"と同様に発音するようです）という新しい組版処理システムが話題になってました。LaTeXの他には何かないのかなあと思っていたので（自分が使えるのかわからないけれど）ひとまず使ってみたいと感じました。 まだ情報も少ないかと思いますので、ここにインストール方法をメモしておくことにします。 「もっとマシな
GitHub - garrigue/safeio: An encoding of file handles ensuring linear use
An encoding of file handles ensuring linear use. This code was originally posted to the caml-list on 2006-05-11: original post Here is a copy of the original post. This repository contains a more refined version written shortly after. Jacques Garrigue From: Dan Grossman > A monadic approach (where each > operation would return a "new" file) or linearity appears necessary for > the latter. And you
Y combinator - Rosetta Code
Y combinator You are encouraged to solve this task according to the task description, using any language you may know. In strict functional programming and the lambda calculus, functions (lambda expressions) don't have state and are only allowed to refer to arguments of enclosing functions. This rules out the usual definition of a recursive function wherein a function is associated with the state
Improving Type Error Messages in OCaml
Cryptic type error messages are a major obstacle to learning OCaml or other ML-based languages. In many cases, error messages cannot be interpreted without a sufficiently-precise model of the type inference algorithm. The problem of improving type error messages in ML has received quite a bit of attention over the past two decades, and many different strategies have been considered. The challenge
Composable Error Handling in OCaml
Let’s discuss common ways to handle errors in OCaml, their shortcomings, and finally, how polymorphic variants may help. The discussion applies equally well to Reason ML. If you need an introduction to the topic, I recommend Real World OCaml chapter on Error Handling. As a reference point, we’ll take three hypothetical functions which can return errors and which we want to compose: Parser.parse, w
Using Str module in OCaml top level?
I tried two commands to load Str Module in OCaml top level. The first command gives me the error "Cannot find file Str.cmo". I then tried to use the file i was using in top level with the second command. With that command i got "Reference to undefined global Str". #load "Str.cmo";; #use "my_file.ml";; What do i need to do to successfully load Str module in OCaml top level.
Unbound module Findlib error during installation of Ocaml Batteries
I have created my ~/.ocamlinit as follows let interactive = !Sys.interactive;; Sys.interactive := false;; (*Pretend to be in non-interactive mode*) #use "topfind";; Sys.interactive := interactive;; (*Return to regular interactive mode*) Toploop.use_silently Format.err_formatter (Filename.concat (Findlib.package_directory "batteries") "battop.ml");; When I type ocaml at command line, I get the foll
Multicore OCaml
The goal of Multicore OCaml is to add shared memory parallelism to OCaml. Our implementation uses algebraic effects to compose concurrency and supports parallelism through domains and incremental GC. Rather than adding a specific multicore scheduler into the runtime system, we’re providing the minimum required toolset in the form of pluggable schedulers. Memory Model Using shared memory allows sha
OCamlで動的スコープなLispを作る - Qiita
はじめに 本記事はOCamlで遊んだ記です。 構文木を直接解釈する方式で動的スコープな変数をもつ Lisp インタプリタっぽいものを作ります。このやり方だと非常に簡単に自作言語ができるので、趣味の自作言語の第一歩としてどうでしょう、という感じの記事です。 ソースコードはこちらにあります。空白行含めて331行です。 https://github.com/usm-takl/dynamic-scoping-lisp-in-ocaml 動的スコープとは 動的スコープというのは、雑に言うと「関数内で定義されてない変数を参照するとき、変数の定義を関数呼び出しの深い方から浅い方に向かって探すやり方」です。関数gでローカル変数aを定義して、gの中から関数fを呼び出すと、f内ではgのローカル変数が見えます。perl 5のlocal変数や、emacs lispの変数がこういう動きをします。例を載せておきます。
Is there a Bignum module for Ocaml?
I've done some searching around and apparently there used to be a Bignum module in the standard library according to this But at this point I don't see anything in the standard library.
Lucas Pluvinage
- blog: OCaml on ESP32 - a tale of cross-compilation - status_post: Work in progress status and links - 02/10/2018 - description: This article holds my Github projects links related to Mirage-OCaml-ESP32 and will be updated with my progress. It also serve as my notepad and thought long-term storage so you might expect random stuff there too!
OCaml の環境構築 - Qiita
最初に以下のリンクのいずれかを一読することをオススメします。 Real World OCaml に記載されている方法 Installation Instructions OCaml Programming: Correct + Efficient + Beautiful に記載されている方法 Installing OCaml — OCaml Programming: Correct + Efficient + Beautiful 京都大学工学部専門科目「プログラミング言語処理系」講義資料 OCaml 処理系のインストール OPAM のインストール OPAM とは OCaml PAckage Manager パッケージマネージャだけど、OCaml本体もOPAMを通してインストールできる なので最初にOPAMを入れる OPAMのインストール時にOCamlが入るが、特に関係ない Mac なら b
Why does Core.Std deprecate the `close_in` and `close_out` functions?
If I open Core.Std, trying to use close_out function to close an out_channelgives me an error because Core changes the type signature of close_out to give me a deprecation error message. close_out;; - : [ `Deprecated_use_out_channel ] -> [ `Deprecated_use_out_channel ] = <fun> First question: Why does Core deprecate close_out deprecated but not close_out_noerr? Second question: Does Core still exp
opam - Usage
Using opam This document starts with a quick introduction, then covers most commonly-used opam features. If you are a developer and want to get a project packaged or change an existing package, see the step-by-step packaging guide. The full documentation is available inline, using opam --help opam <command> --help This document is intended as a quicker overview, use the above to dig into the detai
The Teaching January 2015 Archive by thread
January 2015 Archives by thread Messages sorted by: [ subject ] [ author ] [ date ] More info on this list... Starting: Thu Jan 22 00:00:13 GMT 2015 Ending: Tue Jan 27 14:47:34 GMT 2015 Messages: 32 [Teaching] Getting OCaml set up on a mac Yaron Minsky [Teaching] Getting OCaml set up on a mac Anil Madhavapeddy [Teaching] Getting OCaml set up on a mac Yaron Minsky [Teaching] Getting OCaml set up on
Command-line Arguments · OCaml Documentation
Command-line Arguments In this tutorial we learn how to read command line arguments directly, using OCaml's Sys.argv array, and then how to do so more easily using the standard library's Arg module. Sys.argv Like in C and many other languages, the arguments that are passed to a given program on the command line are stored in an array. Following tradition, this array is named argv. It is found in t
はじめの一歩 – OCaml
はじめの一歩 OCamlコードの実行 TryOCamlのおかげで、ブラウザで対話型セッションを 実行するのが最も簡単な始め方です。 OCamlをコンピューターにインストールするには、Install ドキュメントを参照して下さい。 素早く小さいOCamlの式を試すには、対話型のトップレベルまたは、REPL(Read-Eval-Print Loop) を使うことができます。 ocamlコマンドは、基本的なトップレベルを提供します。 (システムのパッケージマネージャーを通してrlwrap をインストールし、 ヒストリーナビゲーションを得るためにrlwrap ocamlと実行したほうが良いです。) ocamlコマンドをOPAMまたは、システムのパッケージマネージャーを通して インストールした場合は、代わりにutopトップレベルを使う事をおすすめします。 基本的なインタフェースは同じですが、より便利
GNU make でのコンパイル – OCaml
GNU make でのコンパイル OCamlMakefile と組み合わせて GNU make を使う OCamlMakefile は、 複雑なOCamlプロジェクトのコンパイル作業をとても楽にする生成的な Makefile だ。 標準のライブラリのみを使う基本的なOCamlプログラムやライブラリについては、 単にカレントディレクトリにOCamlMakefileをコピーし、 以下の Makefile を作成する： RESULT = myprogram SOURCES = \ mymodule1.mli mymodule1.ml \ myparser.mli myparser.mly mylexer.mll mymodule2.ml \ mymainprogram.ml OCAMLMAKEFILE = OCamlMakefile include $(OCAMLMAKEFILE) これは5つの
opam - react.1.2.0
Declarative events and signals for OCamlReact is an OCaml module for functional reactive programming (FRP). It provides support to program with time varying values : declarative events and signals. React doesn't define any primitive event or signal, it lets the client chooses the concrete timeline. React is made of a single, independent, module and distributed under the BSD3 license.
OCaml Books
A textbook on functional programming and data structures in OCaml, with an emphasis on semantics and software engineering. This book is used at Cornell for a third-semester programming course. Most students have had one semester of introductory programming in Python, followed by one semester of object-oriented programming in Java. Frequent comparisons are therefore made to those two languages. Rea
Profiling · OCaml Documentation
Profiling Speed Why is OCaml fast? Indeed, step back and ask is OCaml fast? How can we make programs faster? In this chapter we'll look at what actually happens when you compile your OCaml programs down to machine code. This will help in understanding why OCaml is not just a great language for programming, but is also a very fast language indeed. And it'll help you to help the compiler write bette
Objects · OCaml Documentation
Objects Objects and Classes OCaml is an object-oriented, imperative, functional programming language. It mixes all these paradigms and lets you use the most appropriate (or most familiar) programming paradigm for the task at hand. In this chapter, we're going to look at object-oriented programming in OCaml, but we'll also talk about why you might or might not want to write object-oriented programs
ヌルポインタ、assert、警告 – OCaml
ヌルポインタ、assert、警告 ヌルポインタ それでは、あなたが、自分のウェブサイト上である調査をすることになったとしよう。それで、あなたの読者 に、名前と年齢を質問することになった。ただひとつの問題は、なんらかの理由で、年齢を教えてくれない読者がいるということで - かたくなに、 この欄をうめるのはいやだというのだ。あわれなデータベース管理者はどうしたらいい? 前提として、年齢はintで表せるとする。この問題を解くのに、2つのやりかたが考えられる。もっとも一般的なのは(そして、もっとも間違っている)、 なんらかの"特別な"値を、年齢の情報が得られなかったというのに割り当てる、ということだ。あー、そう、データが得られなかったら age = -1 、とかね。それ以外なら、データが得られたことにする(有効な値かは別として)。この手のやりかただと、後で困ったことになる。例えば、あなたのウェブサ
OMake でのコンパイル – OCaml
OMake でのコンパイル ここでは OCaml プログラムを OMake でコンパイルする方法を要約した。 OMake は、findlib(ocamlfind)で管理される標準ライブラリと同じく、 camlp4 構文ライブラリを使っているOCamlファイルや、 ocamllex, ocamlyacc を用いて, ネィティブコードの実行ファイル、 ocamlopt がなければバイトコード実行ファイルを生成することができる。 omake --install を実行する:これでカレントディレクトリに OMakefile の雛型と OMakeroot が作られる。OMakeroot はそのままにしておく。雛型の OMakefile は ocamlfind を使うオプションが書いてないので、基本的には書き直して、追加オプションをファイル中に明示する必要がある。ここではソースファイルが parser
What is ReasonML?
[2018-02-08] Warning: outdated content. Read the book “Exploring ReasonML”, instead (free online). This blog post gives a brief high-level explanation of Facebook’s new programming language, ReasonML. Blog posts in this series # Background: What is ReasonML [this blog post] Getting started with ReasonML What is planned for ReasonML? Core language: Basic values and types let bindings and scopes Pa
Compiling OCaml Projects · OCaml Documentation
Compiling OCaml Projects This tutorial explains how to compile your OCaml programs into executable form. It addresses, in turn: The compilation commands ocamlc and ocamlopt provided with OCaml. It is useful to learn these commands to understand OCaml's compilation model. The ocamlfind front-end to the compiler, which saves you from worrying about where libraries have been installed on your particu
ReasonML: basic values and types
Table of contents for this series of posts: “What is ReasonML?” In this blog post, we’ll look at ReasonML’s support for booleans, integers, floats, strings, characters and the unit type. We’ll also see a few operators in action. To explore, we’ll use the interactive ReasonML command line rtop, which is part of the package reason-cli (the manual explains how to install it). Interactions in rtop #
Compiling OCaml Projects · OCaml Documentation
Compiling OCaml Projects This tutorial explains how to compile your OCaml programs into executable form. It addresses, in turn: The compilation commands ocamlc and ocamlopt provided with OCaml. It is useful to learn these commands to understand OCaml's compilation model. The ocamlfind front-end to the compiler, which saves you from worrying about where libraries have been installed on your particu
Functional Programming · OCaml Documentation
Functional Programming What Is Functional Programming? We've got quite far into the tutorial, yet we haven't really considered functional programming. All the features given so far (rich data types, pattern matching, type inference, nested functions) could exist in a "super C" language. These are cool features that make your code concise, easy to read, and have fewer bugs; however, they actually h
Pattern matching in ReasonML: destructuring, `switch`, `if` expressions
There are many more ways of creating patterns # ReasonML supports more complex data types than just tuples. For example: lists and records. Many of those data types are also supported via pattern matching. More on that in upcoming blog posts. Pattern matching via let (destructuring) # You can do pattern matching via let. As an example, let’s start by creating a tuple: # let tuple = (7, 4); let t
Common Error Messages · OCaml Documentation
Common Error Messages This page gives a list of quick explanations for some error or warning messages that are emitted by the OCaml compilers. Longer explanations are usually given in dedicated sections of this tutorial. Type Errors This expression has type ... but is here used with type ... When the type of an object is not compatible with the context in which it is used, it is frequent to obtain
Loops and Recursions · OCaml Documentation
Loops and Recursions As in other OCaml.org documentation, the code examples will either be something you can test or an example of code. Code snippets that begin with the CLI prompt #, end with ;;, and have a clear output can be tested in the OCaml toplevel (ocaml or utop) or pasted into the OCaml playground. If the code doesn't start with # and end in ;;, it's an example of how to write the code.
ReasonML toolchain
ReasonML advertises itself as Syntax and toolchain for OCaml. In this article, I'll try my best to explain what ReasonML offers to the OCaml toolchain. #What is ReasonML? ReasonML is a new dialect of OCaml which targeted at Javascript developer. It was created by the same people that brought us React.js as a way to improve how front end developers write code by avoiding lots of bugs caused by Java
Pointers in OCaml · OCaml Tutorials
Pointers Status of Pointers in OCaml Pointers exist in OCaml, and in fact they spread all over the place. They are used either implicitly (in most cases) or explicitly (in the rare occasions where implicit pointers are not more handy). The vast majority of situations where you would use pointers in usual programming languages do not require explicitly using pointers in OCaml: The pointers used in
Dynamic Functor Example – OCaml
Dynamic Functor Example Deprecation Warning: this tutorial describes technology that is considered obsolete. It's been replaced by extensions points and ppx rewriters dynamic_functor_example.ml: type t1 = A | B type t2 = Foo of string * t1 open Camlp4 module Id = struct (* Information for dynamic loading *) let name = "My_extension" let version = "$Id$" end (* An extension is just a functor: Synta
Exploring ReasonML and functional programming
Get the book Read online for free. Buy the ebook (DRM-free PDF, EPUB, MOBI). Preview (50%): PDF, EPUB, MOBI About the book ReasonML: This book teaches the programming language ReasonML by Facebook. Functional programming: It is also an introduction to functional programming. Especially people familiar with C-style languages (Java, JavaScript, C#, etc.) will profit from ReasonML’s familiar syntax.
Ppx_deriving, ppx_type_conv and jbuilder: things should be better now
Hi, You might have exeperienced issues recently related to bad interactions between ppx_type_conv and ppx_deriving. Work was done to improve the situation, and since this last PR yesterday I expected that all remaining issues are gone. In particular, if you have been using both ppx_deriving plugins such as ppx_deriving_yojson and ppx_type_conv plugins such as ppx_sexp_conv on the same files, then
ReasonML を一ヶ月ほど使っての所感 - Qiita
どうも、オンライン＆リアルクレーンで負けが込んでる Reason 初心者です。ここ一ヶ月ほど Reason を使い込んでみた感想をまとめてみようと思います。軍資金ください。 現時点までの実装を次のリポジトリに置きました。参考になればどうぞ。 https://github.com/szktty/reasonml-webapp-prototype なぜ使ってるのか 私は公私で OCaml を使っていまして (公では一時期しか使ってませんが一応) 、 OCaml と言えばやることは高速な構文解析か高速なコマンドラインツールです。 GUI は弱いしモバイルアプリは無理だしサーバーサイドはマルチコア非対応なので他に使い道がありません (※個人的な感想です) 。 そんな感じでフロントエンドに関わる機会がありませんでしたが、この度サーバーサイド込みでなんかやることになりました。ただ、社内向けに近いと言え
JavaScript vs. TypeScript vs. ReasonML
In this blog post, I describe the pros and cons of three programming languages/dialects: JavaScript, TypeScript and ReasonML. My descriptions are based on recent experiences with TypeScript and ReasonML on a few smaller real-world projects and on years of experience with JavaScript. Before we take a look at the languages, let’s first consider the pros and cons of static typing, given that TypeScri
ReasonReact · All your ReactJS knowledge, codified.
Hello! This particular page hash has moved to . Please update the URLs to reflect it. Thanks!
Reason · Reason lets you write simple, fast and quality type safe code while leveraging both the JavaScript & OCaml ecosystems.
Hello! This particular page hash has moved to . Please update the URLs to reflect it. Thanks! type schoolPerson = | Teacher | Director | Student(string); let greeting = person => switch (person) { | Teacher => "Hey Professor!" | Director => "Hello Director." | Student("Richard") => "Still here Ricky?" | Student(anyOtherName) => "Hey, " ++ anyOtherName ++ "." }; type schoolPerson = Teacher | Direct
What & Why · Reason
Reason とは？ Reason is a programming language powered by OCaml's strong type system, and has a syntax designed to feel familiar to people coming from JavaScript or C-family languages. Note: Reason can be translated back and forth to OCaml using refmt. Anything possible in Reason is also possible with OCaml and vice versa. Why Use Reason? The powerful typesystem underlying Reason will reduce bugs, in
Redirecting to bucklescript.github.io/bucklescript
This page has moved to bucklescript.github.io/bucklescript
GitHub - reasonml/reasonml.github.io: Reason's documentation site
This code is used to generate https://reasonml.github.io. It pulls in files from docs/ and website/ to generate HTML files served on the site. website/ contains the JS, CSS, images and other files (and some markdown files in blog which are separated from docs/; it's not too important). cd website && npm install && npm run start to start the development server & watcher. Don't use npm run build. It
GitHub - rescript-lang/rescript-compiler: The compiler for ReScript.
ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript. It comes with a lightning fast compiler toolchain that scales to any codebase size. Fast and Simple. ReScript cares about a consistent and fast feedback loop for any codebase size. Refactor code, pull complex changes, or switch to feature branches as you please. No sluggish CI builds, stale caches, wron
OCamlでJavaScriptコードが書ける「BuckleScript」が登場 | OSDN Magazine
米Bloombergは9月1日、OCamlのコードをJavaScriptのコードにコンパイルする「BuckleScript 1.0」を発表した。同種のコンパイル型言語であるTypeScriptと比べて10倍高速にコードをコンパイルできるという。 BuckleScriptは、TypeScript、BabelJSなどに着想を得て、読みやすさと既存のJavaScriptライブラリへの統合のしやすさを重視して開発されたもの。フランスの国立情報学自動制御研究所（INRIA）で開発された関数型言語「OCaml」コンパイラのJavaScriptバックエンドで、スムーズな統合とクリーンなコード生成が可能という。生成されたコードは解読がしやすい上に軽量としている。ライセンスはLGPL。 開発チームはTypeScriptより優れている点として、OCamlが型システムや強固な型推論を持つ点を挙げている。ネイティ
BuckleScript: write JS faster, safer and smaller
This page has moved to bucklescript.github.io/bucklescript
BuckleScript（OCaml→JavaScriptコンパイラ）
BuckleScriptはJavaScriptコードを生成するOCamlコンパイラ。OCamlで型安全なプログラミングを行い、そこから可読性の高いJavaScriptコードを生成できる。 連載目次 BuckleScriptは、JavaScriptコードを生成するOCamlコンパイラだ。ブルームバーグが開発し、オープンソースソフトウェアとして公開している（BuckleScriptはOCamlをJavaScriptに変換するコンパイラプロジェクトである「js_of_ocaml」から派生したプロジェクト）。 JavaScriptとOCaml JavaScriptの活用範囲は既にWebブラウザを飛び出して、サーバサイドやモバイルアプリ、デスクトップアプリにまで広がっている。そして、多くのPCやデバイスには何らかの形でJavaScriptエンジンが搭載されている。さらに、JavaScript実行環境
bucklescript tutorial - Google 検索
2017/07/18 · 最近、フロントエンドを久しぶりに書く必要に駆られたのですが、その際に前から気になっていた BuckleScript を触ってみて入門してみました。
Bucklescript - Google 検索
2020/09/07 · OCaml / ReasonML 文法と標準ライブラリを採用した JavaScript トランスパイラである BuckleScript が ReScript に改称した。 公式サイトによると改称の ...
reason/docker at master · facebook/reason · GitHub
README.md Dockerfile for Reason A Docker file for Reason development. Build Ensure that you have docker installed . Build the image: docker build -t reason . All set! Running Reason interactive top-level Start the Reason interactive top-level with: $ docker run -it reason rtop Build native apps Assuming that you have a reason project directory called hello_reason with a single file hello.re : $ ca
GitHub - reasonml-community/bs-webapi-incubator: BuckleScript bindings to the DOM and other Web APIs
Redirecting to bucklescript.github.io/bucklescript
This page has moved to bucklescript.github.io/bucklescript
reason/README.md at master · facebook/reason · GitHub
Core Reason See a list of easy tasks here Code of Conduct The code of conduct is described in CODE_OF_CONDUCT.md Contributor Setup Thanks for considering contributing to Reason! Here's the setup you need: With opam # On OSX, install opam via Homebrew: brew update brew install opam # On Linux, see here (you will need opam >= 1.2.2): http://opam.ocaml.org/doc/Install.html opam init # Add this to you
Redirecting to bucklescript.github.io/bucklescript
This page has moved to bucklescript.github.io/bucklescript
BuckleScript (+ webpack)を使いNode.jsやブラウザ上でOCamlを動かす - Qiita
BuckleScript（BS）は、JavaScriptコードをターゲットにするOCamlコンパイラ。コンパイルが高速で、読みやすく簡潔なJavaScriptを出力し、簡潔なFFI（OCamlとJSの相互接続）が特徴とのこと。読みやすく簡潔なJSという点でHaskellライクなAltJSであるPureScriptと近い系統といえる。 公式マニュアルの情報を読んで使ってみたが、実際に上手くいくまでに少し試行錯誤があったので、忘れないうちに覚え書き。JSビルドのベストプラクティスもOCamlのエコシステムも中途半端な知識しかないので、ツッコミ歓迎です。 全体の流れ OCaml ---------[BuckleScriptコンパイラ]-----> 複数のJSファイル (CommonJSモジュール) ---[Webpack]--> バンドル・minifyされた単一ファイルのJS
Redirecting to bucklescript.github.io/bucklescript
This page has moved to bucklescript.github.io/bucklescript
facebook/reason と BuckleScript で JavaScript の関数を呼び出すパターン - Qiita
とくに新出のトランスパイラだと、バインディングが少ないので、いかにしてFFI叩くかが勝負になる 参考: https://bloomberg.github.io/bucklescript/Manual.html let add a b => a + b; Js.log "this is console.log"; Js.log(add 3 4); /* function call */ external imul : int => int => int = "Math.imul" [@@bs.val]; Js.log(imul 3 4); /* function call with unit */ external now : unit => int = "Date.now" [@@bs.val]; Js.log(now()); /* new */ external create_date:
BuckleScript - OCamlをJavaScriptに変換
MOONGIFTはオープンソース・ソフトウェアを紹介するブログです。2021年07月16日で更新停止しました Webブラウザ向けには現状、JavaScriptでプログラミングを行う必要があります。しかし多くの言語において、JavaScriptに変換できる実装が存在します。RubyであればOpal、GoであればJoyといった具合です。 今回紹介するBuckleScriptはOCamlまたはReasonで書いてJavaScriptにコンパイルできるプログラミング言語になります。 BuckleScriptの使い方 実装例が幾つか用意されています。 node向けにファイルシステムを使った場合の書き方。 for文の例。 ReasonというのはFacebookが作っているOCamlを拡張したものになります。BuckleScriptを使うことでOCamlで書いたコードをJavaScriptに変換できます
Naomi Wadler - the girl inspiring America?
'I represent African-American women who are simply statistics' Naomi Wadler is only 11 - but her strong voice at the March for Our Lives rally in Washington, DC, is still reverberating across the US. The fifth grader from Alexandria, Virginia, said she represented African-American girls ignored by the media and suffering from gun violence. Last week, she co-led her elementary school's walk-out, jo
【フロリダ高校乱射】エマ・ゴンザレスさんの演説 - BBCニュース
米国各地で24日、銃規制を訴える生徒たちによる「March For Our Lives（私たちの命のための行進）」が行われた。ワシントンでは、運動のきっかけとなった先月のフロリダ州パークランドの高校銃乱射事件を生き延びたエマ・ゴンザレスさんが演説を行った。
Googleの研究者が教える、良い機械学習プロダクトを実装するための43のルール
Google のリサーチ・サイエンティストである Martin Zinkevich 氏によって書かれた、機械学習を使った良いプロダクトを開発するためのコツを集めた記事。エンジニアが良い機械学習プロダクトを作るには、機械学習の専門知識が無いことに苦心するのではなく、得意なエンジニアリングの技術を活かすことが重要、というのが主な趣旨です。 紹介記事：Rules of Machine Learning: Best Practices for ML Engineering はじめに ほとんどの問題はエンジニアリングに関する問題である 性能向上は、良い機械学習のアルゴリズムではなく、良い素性によってもたらされる 機械学習の前に ルール1. 本当に必要になるまで機械学習を使わない ルール2. まず指標を設計、実装する ルール3. ヒューリスティックが複雑になりすぎる前に、機械学習に移行する フェーズI
中退・留年率公表、大学に義務化へ…進路状況も : 政治 : 読売新聞（YOMIURI ONLINE）
中退率や留年率、卒業後の進路状況などを中心に、公開項目を追加することを検討している。文部科学省の関係省令を改正し、２０２０年度にも実施したい考えだ。 大学の学習状況や成果に関する情報を公開することで、受験生が進学先を選ぶ際の指標が加わり、教育の質を確保する狙いがある。政府の「人生１００年時代構想会議」（議長・安倍首相）が夏までにまとめる基本構想にも反映させる。 大学の情報公開は学校教育法で定めており、省令で項目が決まっている。 今回の見直しでは、学生が大学でどのような能力を身に付けて卒業していくかに焦点を当てる。一般的に４年間（医学部など除く）とされる修業年限期間内に卒業する学生の割合、中退率、平均学修時間、満足度のほか、進学先や就職先に関する情報も公開対象とする方向で調整している。
ここ３年で休刊した雑誌４６誌を羅列 職を無くした編集者・ライターは今どうしているの？：カルチャー
本サイト副編集長の岡本タブー郎が編集長を務めた「BLACKザ・タブー」（ミリオン出版）が２０１５年７月に休刊し、もうすぐ３年が経とうとしています。 もう何年もずっと飽きず死語レベルで使われている"出版不況"という言葉ですが、今年もすでにいくつかの雑誌が休刊しています。 というわけで、「BLACKザ・タブー」休刊から現在まで、儚く消えてしまった主な雑誌を振り返ってみたいと思います。 ２０１５年 「CHOKi CHOKi」（内外出版社） 創刊：２０００年 休刊：７月号 カリスマ美容師ブームから生まれたメンズヘア＆ファッション誌。「おしゃれキング」などの憧れ肩書きを生んだ。イケメン美容師・奈良裕也クンだか内田聡一郎クンだかの半裸ベッドイングラビアなど掲載していた。 「CUTiE」（宝島社） 創刊：１９８９年 休刊：９月号 原宿系ファッション誌のパイオニア。岡崎京子や安野モヨコが連載し、多くの有名
標高の決め方 変わります | NHKニュース
土地の高さを示す標高の決め方について、国は、１３５年にわたって続けてきた手作業による水準測量から、人工衛星などを使ってより早くデータが得られる方法に変えることを決めました。災害の復興の迅速化や、カーナビゲーションの精度向上などにつながると期待されています。 特に、７年前の巨大地震では、東北沿岸の被災地で最大で１メートル以上沈降するなど地盤が大きく変動しましたが、水準測量におよそ７か月かかり、復興計画作りに影響が出ました。 このため、国土地理院は、より早く標高を決められる新たな方法を導入することを決めました。 具体的には、ＧＰＳなど衛星から得られる土地の高さのデータに、航空機で上空から測定した重力のデータを加えて修正し、各地の正確な標高を素早く割り出します。 この方法で決められた新たな標高のデータは、６年後をめどに一般に提供される見通しです。 国土地理院の矢萩智裕物理測地課長は「正確な標高の
Parkland Survivors Slam Santorum for CPR Comment
Parkland shooting survivors and March For Our Lives rally activists were quick to slam former Pennsylvania Republican Senator Rick Santorum after he said student gun control advocates would be better served taking CPR classes instead of protesting. David Hogg, a survivor from the deadly February 14 shooting at Marjory Stoneman Douglas High in Parkland, Florida, which killed 17 students and staff m
'Mad' Mike Hughes Finally Blasts Off in Homemade Rocket
Updated | Self-taught rocket man and proud flat-Earther "Mad" Mike Hughes has finally blasted off in his homemade rocket. Soaring 1,875 feet off the ground Saturday, he made it back to Earth in one piece—if a little clobbered, The Associated Press reports. The launch has been a long time coming. Originally planned for last November, it was hit by multiple delays because of mechanical troubles and
Julian Assange, a Man Without a Country
Assange at the Ecuadorian Embassy in London. He has not left the Embassy since he sought asylum there, in June, 2012.Photograph by Nadav Kander for The New Yorker I.The Ecuadorian Embassy in London is situated at the end of a wide brick lane, next to the Harrods department store, in Knightsbridge. Sometimes plainclothes police officers, or vans with tinted windows, can be found outside the buildin
Oakland A's will give Giants fans a $20 parking discount for yelling 'Go A's'
If you’re a Giants fan who wants to catch a game at the Oakland Coliseum this season, briefly betraying your team will save you $20. The Oakland Athletics announced Saturday that it will charge Giants fans $50 for parking this season, but San Francisco fans can slash that cost down to $30 by yelling “Go A’s” at the gate to the parking lot. We’re not joking.
The Last Temptation
One of the most extraordinary things about our current politics—really, one of the most extraordinary developments of recent political history—is the loyal adherence of religious conservatives to Donald Trump. The president won four-fifths of the votes of white evangelical Christians. This was a higher level of support than either Ronald Reagan or George W. Bush, an outspoken evangelical himself,
Vue.jsの今後と次世代Web開発について
MANABIYA 2018-03-24 (sat) Webセッション ３時限目の発表内容 https://manabiya.tech
riot.jsでattribute経由でoptsに渡されるプロパティ名について - Qiita
<!-- マウント先 --> <div class="main" chain-case='chain' camelCase='camel' snake_case='snake' /> <!-- マウントするタグ --> <script type="riot/tag"> <my-tag> <h3>Hello { opts.title }</h3> console.log(opts); </my-tag> </script> <script src="https://cdn.jsdelivr.net/riot/2.3/riot+compiler.min.js"></script> <script> riot.mount('div.main', 'my-tag', {title: 'World', 'chain-title': 'chain', camelTitle : 'camel', sna
Lexer and parser generators (ocamllex, ocamlyacc)
この章では ocamllex と ocamlyacc の解説をします。ocamllex は、正規表現の集合と、それに対応するセマンティクスから字句解析器を生成し、ocamlyacc は文法と、それに対応するセマンティクスから構文解析器を生成します。 このプログラム生成ツールは、C 言語環境で有名な lex と yacc ととてもよく似ています。この章は lex と yacc の知識があることを前提としています。ocamllex と ocamlyacc に与えるソースの文法や lex と yacc との主な相違点などは解説しますが、lex と yacc での字句解析器や構文解析器の基本的な書き方は解説しません。lex と yacc をよく知らない方は、``Compilers: principles, techniques, and tools''(Aho, Sethi and Ullman
)
Chapter 12 レキサー・パーザージェネレータ (ocamllex, ocamlyacc) - OCaml.jp
このページは最後に更新されてから1年以上経過しています。情報が古い可能性がありますので、ご注意ください。 The Objective Caml system release 3.10 この章では ocamllex と ocamlyacc の解説をします。ocamllex は、正規表現の集合と、それに対応するセマンティクスから字句解析器を生成し、ocamlyacc は文法と、それに対応するセマンティクスから構文解析器を生成します。 このプログラム生成ツールは、C 言語環境で有名な lex と yacc ととてもよく似ています。この章は lex と yacc の知識があることを前提としています。ocamllex と ocamlyacc に与えるソースの文法や lex と yacc との主な相違点などは解説しますが、lex と yacc での字句解析器や構文解析器の基本的な書き方は解説しません。
Date.prototype.toDateString() - JavaScript | MDN
Globale ObjekteDateConstructorDate() constructorStatic methodsDate.now()Date.parse()Date.UTC()Instance methodsDate.prototype.getDate()Date.prototype.getDay()Date.prototype.getFullYear()Date.prototype.getHours()Date.prototype.getMilliseconds()Date.prototype.getMinutes()Date.prototype.getMonth()Date.prototype.getSeconds()Date.prototype.getTime()Date.prototype.getTimezoneOffset()Date.prototype.getUTC
2018年3月23日号 ext4のmetadata_csumオプションへの対処・initramfsの圧縮方式の変更 | gihyo.jp
Ubuntu Weekly Topics 2018年3月23日号ext4のmetadata_csumオプションへの対処・initramfsの圧縮方式の変更 ext4のmetadata_csumオプションへの対処 Xenial（16.04 LTS）において発生していた、「より新しいバージョンのUbuntuで作ったext4をなぜか扱えない」という問題（LP#1601997）が解決されそうです。 これは、次のようなメカニズムで発生していました。 最近のUbuntuでは、mke2fsパッケージの修正により、ext4のmetadadata_csumオプションが有効な状態でフォーマットされるようになった。 しかし、Xenialやそれより古いe2fsprogsはこのオプションが有効なファイルシステムを解釈できず、たとえばe2fsckがエラー終了するようになる（≒fsckを実行しないとマウントできない、
クラウドの登場によるLinuxディストリビューションの市場シェアの変化 | 株式会社デジタル・ヒュージ・テクノロジー
こんにちは。デジタル・ヒュージ・テクノロジー顧問の吉政でございます。 UbuntuというLinuxをご存知でしょうか？ Linuxの情報をある程度追いかけている人でしたら、ご存知のLinuxディストリビューションになります。このUbuntuは最近シェアを伸ばしているOSになります。 10年前のサーバOS市場シェアでは、Windowsシェア45%、Unixシェア30%でしたが、今はLinuxが96.6%でWindowsが1.7%になったというデータすら出てきています。それくらい、Linuxはシェアを伸ばしました。 興味がある方は「Linux シェア」で検索してみてください。いろいろなデータが出てきますが、いずれもLinuxのシェアが高いものになっています。 そして、Linuxサーバのディストリビューション・シェアは2017年8月現在で、Ubuntuが37.2%、Debianが31.2%となり
DeepMind explores inner workings of AI
How algorithms make decisions in AI systems is something of a mystery As with the human brain, the neural networks that power artificial intelligence systems are not easy to understand. DeepMind, the Alphabet-owned AI firm famous for teaching an AI system to play Go, is attempting to work out how such systems make decisions.
マネーフォワードの子会社MF KESSAIが選択したアーキテクチャ
Rails Developers Meetup 2018
「理財局が削除部分にマーカーを引いて指示」自殺した近畿財務局職員も関与 | AERA dot. (アエラドット)
佐川氏の関与はどこまで明らかになるのか （ｃ）朝日新聞社この記事の写真をすべて見る 23日に籠池氏と接見した今井議員（左）と宮本議員 （ｃ）朝日新聞社 佐川宣寿前国税庁長官の証人喚問を目前に控え、森友疑惑の構図の骨格がみえてきた。 【写真】接見後の会見 籠池氏は何を語ったのか 「改ざんに関ったのは、財務省理財局と近畿財務局合わせて10人くらい。近畿財務局は当初、理財局の改ざん指示に対し、『そんなことするのか』『国会答弁はそちらの問題だ』などとかなりの拒否反応を示しました。だが、理財局が『近畿財務局がこんなことを決裁書に記すからだ』と反論するなど紛糾。数日間の押し問答が続き、双方の幹部が話し合った末に改ざんを決行することになった」（近畿財務局関係者） そして財務省で話し合いがあった後、近畿財務局に具体的な指示があったという。 「14の決裁文書の削除箇所は理財局側がマーカーで線を引いて指示。や
元Oracle 使いだけど、 MySQL のSQL 実行計画について ちゃんと調べた
MANABIYA ( https://manabiya.tech ) で話した資料です。
These Photos Show How Big the March For Our Lives Crowds Were Across The Country
Hundreds of thousands of people showed up to participate in the March For Our Lives rallies that took place all across the country on Saturday. The student-led protests, which were started by the survivors of the Parkland, Fla. school shooting, called for stronger gun control laws and aimed to pressure lawmakers into enact real legislative change surrounding gun reform. The rallies drew huge crowd
Why ERC20 tokens dont use external keyword in the transferFrom function
Yes, comparing public and external keywords, the external keyword will consume lesser gas than public keyword. The difference is because, in public functions, Solidity immediately copies array arguments to memory, while external functions can read directly from call data. Memory allocation is expensive, whereas reading from call data is cheap. The reason that public functions need to write all of
chainFlyer | Blockchain Explorer
これがブロックチェーンです。最新の６つのブロックと、一番最初のブロックである「ジェネシス・ブロック」が表示されています。 ブロックチェーンは、一つの大きな勘定帳のようなものです。ビットコインの開始以降のすべての取引が記録されています。ブロックの採掘は他の採掘者によって承認されることで、最も新しいブロックとして登録されます。このようにして、最新のブロックの中の取引は１つの承認を得ており、６つ前のブロック内の取引は６つの承認を得ているのです。
Using Python 2 libraries | App Engine standard environment for Python 2 | Google Cloud
Using Python 2 libraries Stay organized with collections Save and categorize content based on your preferences. You can use third-party libraries that are pure Python code with no C extensions, by copying the library into your application directory. If the third-party library is already built-in, bundled with the runtime, you can use the library without copying it into your app. Third party librar
tensorflow/tensorflow/tools/graph_transforms/README.md at master · tensorflow/tensorflow
When you have finished training a model and want to deploy it in production, you'll often want to modify it to better run in its final environment. For example if you're targeting a phone you might want to shrink the file size by quantizing the weights, or optimize away batch normalization or other training-only features. The Graph Transform framework offers a suite of tools for modifying computat
How to use ActionCable as API
I built a very simple app using Rails 5 beta 1 and ActionCable to show when users come online and let them send messages to each other. Now, I would basically like to take the client-side part of ActionCable, implement it in the context of another app (that does not run on Rails 5) and connect it with the first app to send and receive data (such as the online status of users or messages). To send
CSとマーケのエコシステム構築へ 「AI Messenger」の活用法から探るチャットボットの可能性
『MarkeZine』が主催するマーケティング・イベント『MarkeZine Day』『MarkeZine Academy』『MarkeZine プレミアムセミナー』の 最新情報をはじめ、様々なイベント情報をまとめてご紹介します。 MarkeZine Day
会話的なUIとは何か？ チャットボットが注目される理由
PaulaはフリーのWebデザイナーです。彼女は小規模なオンラインビジネスのリブランディングなどを手掛けています。 会話型UIとは簡単に言うと、まるでほかの人と会話をしているかのように、言語を自然な形で処理するチャットボット体験です。テクノロジーにおける典型的な体験では、コンピューターが何かを実行するために、アイコンやリンクをクリックするような指示が求められます。私たちはある程度操作に慣れているとはいえ、これらは自然なコミュニケーションでも人間らしいコミュニケーションでもありません。 会話型UIは、インターフェースとの対話を人間同士が普通の会話をしているかのようなコミュニケーションの形へ切り替えます。現在、会話型UIを取り入れた、２つの人気な手法があります。１つはAmazonのAlexaのように、実際の会話を通して使用するものと、もう１つはFacebookの Messengerのように、チ
社内FAQをチャットボットに。「あるある質問」撲滅するmofmofの挑戦 | Ledge.ai
企業内でも、総務部門や情報システム部門への問い合わせ対応などで、着々と導入され始めているチャットボット。よくある質問をチャットでの問い合わせに移行することで、業務負担は劇的に削減されます。 といいつつも、電話やメールでの問い合わせが文化として根付いている企業も多く、まだまだチャットボットを導入している企業は少数。 今回は、社内問い合わせ対応専用チャットボット「My-ope office」を提供する、株式会社mofmofの代表 原田さんに など、お話を聞いてきました。 My-ope officeは簡単に社内に導入できるサービス簡単にMy-ope officeについてご説明します。 My-ope officeは簡単に導入でき、Q&Aのデータセットだけ用意すれば、チャットボットが導入できるそう。導入後は、ユーザーにアンサーごとに満足度をgood or bad判定してもらい、AIがそれを学習してQ
AIが接客する未来は実現するか？AIコミュニケーションの現状課題と、サイバーエージェントのAI研究 | Ledge.ai
Top > 学術＆研究 > AIが接客する未来は実現するか？AIコミュニケーションの現状課題と、サイバーエージェントのAI研究
死者との会話を実現するため。スウェーデンの葬儀屋が人工知能を搭載したボットプログラムを開発中｜カラパイア
スウェーデンの葬儀屋が、亡くなった家族との会話を実現し、悲しみを癒すというプロジェクトのためにボランティアを募集している。 彼らが作ろうとしているのは、亡くなった人間の意識を完全にコピーしたロボットの類ではない。「フェニックス（Fenix）」社が開発しようとしているのは、遺族の悲しみを癒す人工知能を搭載したボットプログラムである。 高性能AIプログラムがきっかけで死者との会話をチャットで実現 スウェーデンの新聞の取材を受けたシャーロット・ルーニウス（Charlotte Runius）CEOは、プロジェクトの発端になったのは、同社への問い合わせをオンラインで回答する比較的シンプルなAIプログラムであると話している。 それはボットであるが、それとチャットを交わした人がプログラムであるのか人間なのかすぐには判断できないほどの性能を誇っている。 これにヒントを得て、同じ技術を用いれば、愛する人との
環境NPOがテンソルフロー活用、違法伐採や密猟をAIで監視
グーグルの機械学習ツールが、違法な森林伐採を検知し、違法行為と戦うために使われている。 サンフランシスコの非営利団体であるレインフォレスト・コネクション（Rainforest Connection）は、改造した携帯電話と太陽光パネルを使って、安価で精密な音響監視システムを開発した。森中の木々に隠された「ガーディアン（Guardian）」と呼ばれるデバイス上のアプリを使って、違法伐採や動物の密猟の証拠となる気配がないかどうか常に聞き耳を立てている。 レインフォレスト・コネクションは3月21日、ガーディアンの携帯電話からクラウドにアップロードされた聴覚データの分析に、グーグルの「テンソルフロー（TensorFlow）」を使うことを発表した。テンソルフローは機械学習ソフトウェアの開発を支援するためのツールで、誰でも無料で使用できる（「グーグルの未来はテンソルフローにある」を参照）。レインフォレス
産業サイバーセキュリティ研究会「ワーキンググループ1（制度・技術・標準化）」第2回会合を開催します（METI/経済産業省）
経済産業省では、本年2月7日に第1回会合を開催した「産業サイバーセキュリティ研究会ワーキンググループ1（制度・技術・標準化）」 にて検討を開始した、「サイバー・フィジカル・セキュリティ対策フレームワーク」について議論を行うため、同ワーキンググループ第2回会合を3月29日（木曜日）に開催いたします。 1．背景・趣旨 経済産業省では、昨年12月、我が国の産業界が直面するサイバーセキュリティの課題を洗い出し、関連政策を推進していくために「産業サイバーセキュリティ研究会」を開催しました。そして、本年2月7日には、研究会の下に「ワーキンググループ1（制度・技術・標準化）」を設置し、Society5.0におけるサプライチェーン全体のサイバーセキュリティ確保を目的として、「サイバー・フィジカル・セキュリティ対策フレームワーク」の検討を開始しました。 今回の第2回会合では、国際的な動向や、第1回会合でいた
国立大学と私立大学の授業料等の推移：文部科学省
年度 国立大学 私立大学 私立大学/国立大学 授業料（円） 入学料（円） 検定料（円） 授業料（円） 入学料（円） 検定料（円） 授業料（倍） 入学料（倍） 検定料（倍） 昭和50年
活動量の評価法
比較的大規模な集団の活動量を評価する場合には、質問紙法や活動記録法が用いられることが一般的ですが、得られた結果の妥当性や再現性は対象者の年齢や活動特性に依存します。一方で加速度計は入浴などを除き、基本的には機器の装着のみで活動量を測定できるため、幅広い対象者に用いることが可能です。 活動量の評価法は多岐にわたっており、各評価法により出力される活動量の単位も熱エネルギー(kcal)・時間・頻度・スコア（任意の単位）と多様です。各評価法の用途はその目的に応じますが、比較的大規模な集団の活動量を評価する場合には質問紙法や活動記録法を用いることが一般的です。 特に身体活動量評価の国際標準化をねらいとしたInternational Physical Activity Questionnaire（IPAQ）やGlobal Physical Activity Questionnaire（GPAQ）は、汎
PlumX Metricsにスペイン語とポルトガル語のWikipediaリファレンスを追加 | 科学技術情報プラットフォーム
オルトメトリクス指標を提供するPlum Analytics社は3月13日、研究評価分析ツールPlumX Metricsにスペイン語とポルトガル語のWikipediaリファレンスを加えたことを発表した。 スペイン語版Wikipediaは約500万人と、英語に次ぎページ編集の参加が多い。英語に加え、スペイン語とポルトガル語を加えることで、研究成果のインパクトを図るうえでより一層充実した指標を提供できる。 [ニュースソース] Spanish and Portuguese Wikipedia References Are Now in PlumX Metrics － Plum Analytics 2018/3/13
保健医療科学
全ての国民が，障害の有無に拘わらず，「相互に人格と個性を尊重し合いながら共生する社会において，誰でも必要とする情報に簡単にたどり着け，利用できる」ための情報基盤整備における課題を抽出し，情報アクセシビリティ向上に向けた提言を行うことを目的とした．厚生労働科学研究費補助金（障害者政策総合研究事業（身体・知的等障害分野））「意思疎通が困難な者に対する情報保障の効果的な支援手法に関する研究（研究代表者：橘とも子）」において開催した，シンポジウム「意思疎通支援の架け橋づくり．多様なコミュニケーション障がいへの支援手法を探る．」における発言から，地域の情報アクセシビリティ向上に向けて抽出しえた課題は，「『当事者主体』への意識変革や多様な障害支援方法の，医療従事者・保健福祉介護サービス提供者を含む地域住民への普及啓発の必要性」「当事者目線の調査・情報の必要性」「情報サイト構築等による先駆的取組みの自治
迷惑メール情報提供用プラグインダウンロードサイト
インストール手順 アンインストール手順 操作方法 ご感想・お問い合わせ よくあるご質問（ＦＡＱ） リンク・資料集 お知らせ 2018.03.23 「Outlook 2016」対応プラグインの配布開始。 2018.03.23 「Spamsender OL_64 (Ver.1.13)」、「Spamsender OL 2013 (Ver.1.13)」、「Spamsender OL 2013_64 (Ver.1.13)」の配布開始。 2016.08.17 SpamsenderLMをインストールした端末において、マイクロソフト社から「Windows 10 Anniversary Update」の提供を受けた場合、Windows Live Mailが使用できなくなることがあります。 このため、「Windows 10 Anniversary Update」の提供を受けた端末からはSpamsenderLM
総務省｜報道資料｜先進的なデータ利活用の拠点 「統計データ利活用センター」の開設
総務省及び独立行政法人統計センターは、平成30 年4月1日付けで和歌山県に、先進的なデータ利活用の拠点として、「統計データ利活用センター」を開設し、高度なデータ解析を実現する統計ミクロデータの提供等の業務を開始します。 総務省及び独立行政法人統計センターは、「政府関係機関の地方移転にかかる今後の取組について」（平成28 年9月1日まち・ひと・しごと創生本部決定）に基づき、平成30 年4月1日付けで和歌山県に、「統計データ利活用センター」を開設します。 「統計データ利活用センター」は、先進的なデータ利活用の拠点として、ICTを活用して高度なデータ解析を実現する統計ミクロデータの提供等の業務を行い、和歌山県と協力し地方創生に資する統計データの利活用を推進します。
Thrombectomy for Stroke at 6 to 16 Hours with Selection by Perfusion Imaging - PubMed
The .gov means it’s official. Federal government websites often end in .gov or .mil. Before sharing sensitive information, make sure you’re on a federal government site. The site is secure. The https:// ensures that you are connecting to the official website and that any information you provide is encrypted and transmitted securely.
Home
The ReasonML conference for web developers & OCaml enthusiasts Reason Conf US is happening!We're proud to announce Reason Conf US taking place in Chicago, IL on October 8th. Keynote by Jordan Walke. Buy tickets before they sell out! On the Road to Production Last year, we have been eagerly onboarding newcomers to the language and we will continue to do so. This year, the conference is all about sh
Up close and personal with the biggest drone squadron ever
Before taking office, Donald Trump called the war in Afghanistan a "total disaster". But last August he changed his mind and announced that the US would stay until the war was - in his words - "won". Military commanders see air power as key to the hoped-for victory, and have assembled in the country what they say is the biggest drone squadron ever. I'm lying in the belly of a KC-135 "stratotanker"
Killer Mike: Rapper defends gun ownership in NRA video
Run The Jewels rapper Killer Mike has spoken out against anti-gun activists following the March For Our Lives rally in Washington. In an interview with the National Rifle Association he accused those wanting to change gun laws of being "the lackey" (obeying someone else's orders). His comments have caused a backlash on social media, with people criticising his decision to speak to the NRA.
March For Our Lives: Six key takeaways from the US gun control rallies
It was the biggest gun control protest in a generation. Hundreds of rallies were staged across the US and beyond as marchers filled the streets calling for the implementation of tighter measures following the deadly mass shooting at a Florida school in February. That incident not only ignited the #NeverAgain movement, but also Saturday's mass demonstrations, which took place under the banner of Ma
検証 佐川氏答弁 矛盾点は“価格提示”と“関係する政治家” | NHKニュース
森友学園をめぐる財務省の決裁文書が書き換えられた問題で、去年２月から３月にかけて佐川前理財局長が国会で行った９００回余りのすべての答弁を書き換え前の文書と比較して検証したところ、内容が矛盾している答弁の大半が、事前の価格提示や、関係する政治家などの記録の有無に関するものだったことがわかりました。 国会議事録によりますと佐川氏は、去年２月１５日から３月３０日までの間に衆参両院の各委員会に３６回出席し、森友学園に関係する答弁を合わせて９０４回行っています。 ＮＨＫは佐川氏のすべての答弁内容を決裁文書から削除されたり書き換えられたりした記述と比較して検証しました。その結果、削除された記述と矛盾している答弁が４４回、確認されました。 このうちもっとも多かったのは、国有地の貸付料をめぐるものです。 元の文書には、平成２７年１月９日に「近畿財務局が森友学園を訪問し、国の貸付料の概算額を伝える」と書かれ
首相 オバマ前大統領とすしで旧交温める | NHKニュース
安倍総理大臣は、退任後初めて日本を訪れたアメリカのオバマ前大統領を東京・銀座のすし店に招き、昼食をとりながら、被爆地の広島を訪問した際の思い出話などに花を咲かせ、旧交を温めました。 安倍総理大臣とオバマ氏は互いに、「会えてうれしい」などと声を掛け合い、握手をしてからすし店に入り、およそ１時間半にわたって昼食をともにしました。昼食のあとオバマ氏は、記者団から「昼食会はどうでしたか」と質問され、「すばらしかった」と笑顔で応じました。 安倍総理大臣も記者団に、「広島訪問やパールハーバー訪問など、昔話で盛り上がりました。オバマ氏は『今回もおすしはおいしかった』と言ってくれました」と述べ、おととし５月、オバマ氏が現職のアメリカの大統領として初めて被爆地の広島を訪問した際の思い出話などに花を咲かせ、旧交を温めたことを明らかにしました。 オバマ氏は４年前に国賓として日本を訪れた際にも、当時のケネディ駐日
Roy Ayers: Tiny Desk Concert
Roy Ayers arrived at his Tiny Desk performance beaming with positivity. The 77-year-old jazz-funk icon and vibraphonist sauntered through the office with a Cheshire grin on his face, sharing jokes with anyone within earshot. Accompanying him was a trio of brilliantly seasoned musicians — keyboardist Mark Adams, bassist Trevor Allen and drummer Christopher De Carmine. Later during the performance,
ReasonML News: the latest in ReasonML and its tools
The latest in ReasonML and its toolsA few ReasonML links every month, in your inbox Curated by Dr. Axel Rauschmayer and Johannes Weber.
Turkey still in talks to buy US Patriot missiles
Turkish foreign undersecretary also set to visit Washington, perhaps next week, as part of bilateral working groups. US Vice President Mike Pence inspects the Patriot Advanced Capability-3 missile launch system with Itsunori Onodera, Japan's defence minister in Tokyo, Japan. Kiyoshi Ota/Pool [Reuters] Turkey has said that it is continuing talks with the US over buying Patriot missile systems, whil
Is Egypt’s sham election made in the USA?
US President Donald Trump meets with Egyptian President Abdel Fattah al-Sisi during the UN General Assembly in New York, September 20, 2017 [Kevin Lamarque/Reuters] The only real suspense in Egypt’s upcoming presidential election – scheduled for later this week – is how close incumbent Abdel Fattah el-Sisi will get to securing 100 percent of the vote. Sisi, who took over as Egyptian president shor
【特番】ロボットガールズスペシャル 2018年プロジェクト大発表だZ！ (2/3)
「まだ続いているんだー」と言われ続けながらも、オンラインゲームも異例の5年目に突入しようとする2018年…… 本特番で新展開をドドーンと大発表！！ 約2年半ぶりとなるチームZ勢ぞろいで、ナニが起きる！？ 出演：本多真梨子、水瀬いのり、荒浪和沙、西連寺亜希、木野日菜、萩原あみ、井澤美香子 【特番】ロボットガールズスペシャル 2018年プロジェクト大発表だZ！ PART1 https://www.youtube.com/watch?v=7Fhd5fryHZ4 PART2 https://www.youtube.com/watch?v=bwxihD7AUas PART3 https://www.youtube.com/watch?v=ZdF9Z-jIV4E ロボットガールズZ 公式サイト http://www.toei-anim.co.jp/sp/robot-girlsz/
sora tob sakana/Lightpool（MV+コメント）
＝＝好評配信中＝＝ 【iTunes】 https://itunes.apple.com/jp/artist/sora-tob-sakana/1049651429?app=itunes 【mora】 http://mora.jp/artist/988797/ 【レコチョク】 http://recochoku.jp/artist/2001006510/?affiliate=4350010190 【アニメロミックス】 https://pc.animelo.jp/portals/artist/102658 【OTOTOY】 https://ototoy.jp/_/default/a/133017 【Apple Music】https://itunes.apple.com/jp/artist/sora-tob-sakana/1049651429 【Spotify】 https://open.
2018年8月25日ロードショー「劇場版 のんのんびより ばけーしょん」ＰＶ第1弾
「劇場版 のんのんびより ばけーしょん」 2018年8月25日（土）ロードショー！ TVアニメシリーズ第1期・第2期ともに「にゃんぱすー！」の掛け声で一大旋風を巻き起こした脱力系田舎ライフコメディ「のんのんびより」が待望の劇場アニメ化！ ●すたっふ 原作：あっと（月刊コミックアライブ連載『のんのんびより』／ＫＡＤＯＫＡＷＡ刊） 監督：川面真也 脚本：吉田玲子 キャラクターデザイン：大塚 舞 美術：草薙 音響監督：亀山俊樹（grooove） 音楽：水谷広実（Team-MAX） 音楽制作：ランティス アニメーション制作：SILVER LINK. オープニング主題歌：nano.RIPE エンディング主題歌：宮内れんげ（小岩井ことり）、一条蛍 （村川梨衣）、越谷夏海（佐倉綾音）、越谷小鞠（阿澄佳奈） 作詞・作曲：ZAQ ●きゃすと 宮内れんげ：小岩井ことり 一 条 蛍：村川梨衣 越谷夏海
『ヤマノススメ サードシーズン』PV第1弾【2018年夏放送開始】
2018年夏より放送開始！ 『ヤマノススメ サードシーズン』PV第1弾 この夏、あおいが、ひなたが、かえでが、ここなが、そしてほのかがTVアニメに帰ってくる！ そして新しい友達との出会いも……。 今度はどの山に登ろうかな？ 『ヤマノススメ サードシーズン』 2018年夏、放送開始です。 ［STAFF］ 原作：しろ(コミック アース・スター連載) 監督・音響演出・シリーズ構成：山本裕介 脚本：ふでやすかずゆき キャラクターデザイン・総作画監督：松尾祐輔 音楽：yamazo/Tom-H@ck ［CAST］ あおい：井口裕香 ひなた：阿澄佳奈 かえで：日笠陽子 ここな：小倉唯 ゆうか：牧野由依 ひかり：儀武ゆう子 みお：七瀬彩夏 ゆり：高尾奏音 かすみ：山本亜衣
『はるかなレシーブ』第1弾PV
わたしたちは、砂の上でペアになった―― TVアニメ『はるかなレシーブ』 2018年夏 試合開始!! ■スタッフ情報 原作：如意自在 (芳文社「まんがタイムきららフォワード」連載) 監督：窪岡俊之 シリーズ構成・脚本：待田堂子 キャラクターデザイン：小田武士 サブキャラクターデザイン・衣装デザイン：山田真也 総作画監督：小田武士、津幡佳明、松川哲也 助監督：髙橋英俊 特技監督：池下博紀、千葉 茂 メインアニメーター：松尾信之、宝井俊介 プロップデザイン：水村良男 美術設定：杉山晋史 美術監督：一色美緒 背景：スタジオワイエス 色彩設計：勝田綾太 画面設計・３Dディレクター：向 純平 撮影監督：桑 良人 撮影：スタジオシアン 編集：柳 圭介 音響監督：藤田亜紀子 音響制作：HALF H・P STUDIO 音楽：ラスマス・フェイバー 音楽制作：KADOKAWA アニメーション制作：C2C 製
「Fate/Grand Order -Cosmos in the Lostbelt-」永久凍土帝国 アナスタシア TVCM
TYPE-MOONがおくる、FateのRPG Lostbelt No.1 永久凍土帝国 アナスタシア 獣国の皇女 まもなく配信 アニメーション制作：A-1 Pictures
TVアニメ「ウマ娘 プリティーダービー」本PV
2018年4月より、TOKYO MX、関西テレビ、サガテレビ、BS11、AT-X、AbemaTVほかにて放送スタート！ TOKYO MX、BS11 ４月１日より毎週日曜日２４：００～ 関西テレビ ４月１日より毎週日曜日２５：５５～ サガテレビ ４月２日より毎週月曜日２５：２５～(初回のみ２５：４５～) AT-X ４月２日より毎週月曜日２３：３０～ リピート放送 毎週水曜日１５：００～／毎週土曜日７：００～ AbemaTV ４月３日より毎週火曜日２３：００～ ※初回は１時間放送（１話・２話放送） ※放送開始日、時間は変更になる場合がございます。詳しくはアニメ公式サイトをご確認ください。 【公式サイト】 http://anime-umamusume.jp/ 【INTRODUCTION】 これは異世界から受け継いだ輝かしい名前と競走能力を持つ“ウマ娘”が 遠い昔から人類と共存してきた世
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Chapter 5 クラスとモジュールの高度な例 - OCaml.jp
GitHub - mahsu/MariOCaml: HTML 5 canvas implementation of Mario written in Ocaml
Detangle NODE_ENV and RAILS_ENV (#1359) · rails/webpacker@e616184
More yield_self awesomeness - RubyFlow
Private & Protected: a matter of Message - RubyFlow
Adobe - Adobe Creative Suite 4 Webエディション
市場調査メディア ホノテ by Macromill
速攻MinCamlコンパイラ概説
メドピアで利用しているGemの話
バス因子が自分で バス因子を脱するための方法
第６世代移動通信に向けた 変調方式の研究 MARIA (MIMO Applied Resource - block Interleaving Access) 方式 の提案 | ISS-A-015.pdf
このページを見るには、ログインまたは登録してください
[PDF]金利変動の国際比較と伝播 - みずほ総合研究所
スペイン・カタルーニャで大規模デモ 前首相拘束に抗議 - BBCニュース
米ウーバー、東南アジア事業を同業グラブに売却へ - BBCニュース
検索は将来どう変わる？ グーグル本社で聞く - BBCニュース
Spain Catalonia: Puigdemont's arrest in Germany sparks mass protests
Earth Hour: Lights off to preserve the planet's environment
https://www.smam-jp.com/images/www/market/economist/20171116jp-1.gif
Lambda Soup - Functional HTML Scraping for OCaml
http://www.recruit.jp/news_data/release/img/20170426_02.jpg
http://www.recruit.jp/news_data/release/img/20170426_03.jpg
Survey
https://math.berkeley.edu/~kmill/toys/roots/roots.html
https://www.gsb.stanford.edu/sites/gsb/files/conf-presentations/stillwell_and_kosinski_2012.pdf
Realworld Domain Model on Rails
GitHub - devonestes/fast-elixir: :dash: Writing Fast Elixir -- Collect Common Elixir idioms.
Functional Imperative Programming With Elixir · Bitwalker
Cannot get auto-completion work · Issue #283 · ocaml/merlin
GitHub - PLSysSec/FaCT: Flexible and Constant Time Programming Language
GADTs and Exhaustiveness: Looking for the Impossible
[PDF] OCaml Emacs Mode (Tuareg) June 27, 2011 — Copyright 2011 OCamlPro SAS
Can an operating system be written in a functional language?
Understanding Camlp4 | PDF
速攻MinCamlコンパイラ概説
GitHub - ocaml-multicore/ocaml-effects-tutorial: Concurrent Programming with Effect Handlers
GitHub - stevenvar/OCaLustre: OCaml syntax extension for synchronous programming...
https://www.37.ru/blogs/irmisalmi/programmirovanie-na-yazyke-ocaml-pdf/
https://www.37.ru/blogs/rialandwiting/programmirovanie-na-yazyke-ocaml/
Reason: JavaScript-Flavored OCaml
https://www.37.ru/blogs/navatanes/ocaml-knigi-na-russkom/
http://twitter.com/i/web/status/962934022547546112
GitHub - zshipko/ocaml-py: Python 3.5+ bindings for OCaml
Unbound Graphics Module
GitHub - ocaml-ppx/ppx_deriving_protobuf: A Protocol Buffers codec generator for OCaml
「OCAML入門」入門 - Qiita
Promote to 4.04.2 by kayceesrk · Pull Request #167 · ocaml-multicore/ocaml-multicore
opam - incremental.112.35.00
opam - Packaging
Learn OCaml
How to Work with the Garbage Collector · OCaml Documentation
GitHub - Schmavery/reprocessing: ReasonML graphics library inspired by Processing
Learn OCaml
GitHub - nikgraf/webvr-experiments: A collection of React VR & A-Frame experiments
GitHub - reasonml/reason-react: Reason bindings for ReactJS
GitHub - vramana/awesome-reasonml: A collection of awesome things regarding Reason/OCaml ecosystem.
https://lists.ocaml.org/pipermail/core/2013-January.txt
GitHub - reasonml-editor/vim-reason-plus: Reason Vim editor integration
FacebookがReason 3でReasonMLの構文を変更
Web 初心者が ReasonML にたどり着くまでのあれこれ - Qiita
Exploring ReasonML
GitHub - nickzuber/add-reason: :sparkles::turtle: Dead simple tool for seamlessly integrating ReasonML into existing JavaScript projects.
GitHub - emnh/rts-reasonml: Experimental ReasonML implementation of rts game
OCamlでJavaScriptが幸せ
Bloomberg、OCamlのJavaScriptバックエンドであるBuckleScriptをオープンソース化
http://bloomberg.github.io/bucklescript/slides/Haskell_meetup.html
Open-Source OCaml to JavaScript Compiler BuckleScript Hits 1.0
GitHub - rescript-lang/rescript-compiler: The compiler for ReScript.
https://bloomberg.github.io/bucklescript/slides/Haskell_meetup.html
オープンソースのOCamlからJavaScriptへのコンパイラBuckleScriptが1.0に到達
GitHub - rescript-lang/rescript-compiler: The compiler for ReScript.
Reddit - Dive into anything
JSX for Reason by SanderSpies · Pull Request #647 · reasonml/reason
bucklescript tutorial - Google 検索
GitHub - glennsl/bucklescript-cookbook: A collection of simple examples showcasing the BuckleScript ecosystem
GitHub - reasonml-community/Mareo: HTML 5 canvas implementation of Mario in Reason + Bucklescript
json package - encoding/json - Go Packages
Ruby on Railsのストロングパラメーターのrequireとfetchの違い
もう絶対に間違えない！Laravelでエラーページをカスタマイズするベストプラクティス(5.5) - Qiita
ロシアのショッピングセンター火災、少なくとも64人死亡 - BBCニュース
Katie Brennan: Australia's AFL accused of gender discrimination
Russia fire: Children killed in Kemerovo shopping centre blaze
Uber sells South East Asia operations to rival Grab
Stormy Daniels 'told to leave Trump alone' over affair claims
トランプ氏と不倫後「手を引け」と脅された＝米ポルノ女優 - BBCニュース
ActiveRecordデータ処理アンチパターン / active-record-anti-patterns
performance timing api with node.js
BASH Linting in Emacs | skybert.net
Raxx - refined web development
https://bitbucket.org/snippets/crumuradsi/Ge9boM
https://bitbucket.org/snippets/bikesifel/yeEkAd
https://bitbucket.org/snippets/paicohade/4eApza
http://bistsilthandreal.bloggersdelight.dk/2018/03/25/скачать-postgresql-для-1с-83/
コードレビュー自動化の最前線から
GitHub - kubernetes/kops: Kubernetes Operations (kOps) - Production Grade k8s Installation, Upgrades and Management
大石格（日本経済新聞） on Twitter: "自民党大会で配った党員向けおみやげ｡今年は安倍キャラのマグネットシートでした｡ https://t.co/sLQE3LbLDO"
GitHub - altair-graphql/altair: ✨⚡️ A feature-rich GraphQL Client for all platforms.
GitHub - 2fd/graphdoc: Static page generator for documenting GraphQL Schema
セブンのおかず、そのまま食べるなんてもったいない！ ひと工夫で超おしゃれなランチができるから絶対試して
Flask-RESTPlusでREST APIとSwaggerドキュメントを統合 - Qiita
Modify Remote Config programmatically | Firebase Remote Config
Cloud Functions for Firebase (video series)
GitHub - tweag/asterius: DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
GitHub - github/elastomer-client: A library for interacting with Elasticsearch
GitHub - google/flutter-desktop-embedding: Experimental plugins for Flutter for Desktop
このページを見るには、ログインまたは登録してください
このページを見るには、ログインまたは登録してください
このページを見るには、ログインまたは登録してください
このページを見るには、ログインまたは登録してください
このページを見るには、ログインまたは登録してください
Convert generation script to TS, and update the source webidl by mhegazy · Pull Request #383 · microsoft/TypeScript-DOM-lib-generator
ゼロから始める深層強化学習（NLP2018講演資料）/ Introduction of Deep Reinforcement Learning
ストーリー - Google
cognitive
ツイフェミの知人bot on Twitter: "興味深いのは、思想の内容は「ハードパターナリズムの下でのレディファースト」であっても、フェミとかリベラルといった看板を下ろしたがらない者が多い事だよね。よく知らんが、中身はサージ・タンキアンみたいでも「保守です」なんてのも居るのだろうか"
http://curdheartsinvetl.eklablog.com/adrenalin-bot-crack-a139558244
https://www.meti.go.jp/statistics/tyo/kaigaizi/result/pdf/bunrui_45.pdf
アメリカの新しい労働組織とそのネットワーク 032-038.pdf
ワーキングペーパー・日銀レビュー・日銀リサーチラボ : 日本銀行 Bank of Japan
WeTools: An Elixir Command Line Tool
ReasonML with Phoenix?
Carles Puigdemont, former Catalan president, detained in Germany
'Orange snow' baffles eastern Europeans
コスパの良いワイシャツ｜本当におすすめのブランド15選をタイプ別に紹介
A ReasonReact Tutorial | Jared Forsyth.com
やわらかVue.js
fintechtorailstogrpcto?slide=25
内閣支持率42%に急落 森友問題「首相に責任」70% 本社世論調査 - 日本経済新聞
鈴木達也
