コモナドは何の役に立つ - 檜山正幸のキマイラ飼育記 (はてなBlog)
モナドは、部分関数、非決定性関数、例外（エラー）、コレクション・データ型など、純粋関数計算の不純な(?)拡張を記述するために使えます。なかでも分かりやすいのは、副作用への応用でしょう。ここで言う副作用とは、大域変数への代入、ファイルIO、データベースへのアクセス、画面描画（グラフィックス）、状態を持つ計算などです。 モナドを圏論的に定式化して、その双対を取るとコモナドという概念になります。モナドに比べてコモナドは地味で注目される機会が少ないのですが、コモナドも純粋関数計算を拡張する手段を与えます。 実際には、副作用を表現するモナドと一緒に、たいていはコモナドも出てきているのですが、ちょっと影が薄いんですよね。ここでは、読み取り専用大域変数（イミュータブルな環境）への参照がコモナドになっていることを紹介します。 大域変数の参照 大域変数への代入（書き込み）は、モノイドのスタンピングモナドで記
陸自3人死傷銃撃事件 自衛官候補生「動くな」と叫び発砲 | NHK
岐阜市にある陸上自衛隊の射撃場で、実弾射撃の訓練中に隊員が小銃で銃撃され、3人が死傷した事件で、逮捕された18歳の自衛官候補生が当時、周囲に「動くな」と叫び、制止しようとした隊員に発砲していたことが捜査関係者への取材でわかりました。自衛隊と警察が当時の状況や動機などについて捜査を進めています。 今月14日、岐阜市にある陸上自衛隊の日野基本射撃場で、実弾射撃の訓練中に18歳の自衛官候補生が3人の男性隊員に向けて小銃を発砲し、名古屋市の守山駐屯地に所属する菊松安親1等陸曹（52）と、八代航佑3等陸曹（25）が死亡し、別の25歳の3等陸曹が全治3か月の重傷を負いました。 候補生は決められた以外の場所で実弾が入った弾倉を小銃に装填（そうてん）したとみられていますが、その直後に周囲に「動くな」と叫び、制止しようとした八代3曹に発砲していたことが捜査関係者への取材でわかりました。 候補生は続いて、菊松
終身雇用など日本の〝常識〟見直しへ 骨太方針閣議決定
政府が１６日に閣議決定した「骨太の方針」では、低成長が続く日本経済の再生に向けた改革の方向性が打ち出された。改革が進めば一つの会社で長く働き続けるといった、これまでの日本の〝常識〟も大きく変わり、国民の暮らしにも影響が及ぶことになりそうだ。 最も力点が置かれたのが、労働市場改革だ。終身雇用や年功序列など日本型雇用は、成長分野への労働移動を妨げるといった弊害が顕在化。その結果、世界をリードする新たな企業は誕生せず、賃金も伸び悩むといった現状を生み出している。 そこで骨太方針では、「人への投資」の抜本強化を掲げ、労働者のリスキリング（学び直し）を後押しする。従来のリスキリングは主に企業が学びの機会を提供してきたが、労働者が主体的に取り組めるよう「個人への直接支援を拡充する」とした。労働者にとっては自分の意思で新たな能力を身に付け、仕事も選ぶことができるようになる。 企業間で人材の奪い合いが生じ
全国初！株式会社自動処理は国会議事録検索の出来るChatGPTプラグイン( The Diet Search Plugin )をリリースしました！
全国初！株式会社自動処理は国会議事録検索の出来るChatGPTプラグイン( The Diet Search Plugin )をリリースしました！AI技術を活用し、国民の声と国会議論をつなぐ新たな仕組みを提供します 株式会社自動処理は、全国で初めてOpenAIの大規模言語モデルChatGPT上で動作する国会議事録検索プラグインをリリースしました。このプラグインは、ニュース、トレンド、提案、要望、不満などの文章を元に、その意味に近い国会議事録の議論を出典元情報と共に検索できるという特徴を持っています。これにより、誰でも簡単に国会の議論を調査、取りまとめを実施することが可能となり、国会で働く議員さんの活動をもっと詳しく知ることが出来るようになります。 New! 2023.06.24 テレビ朝日様より取材を受けました。 「ChatGPT」国会の議論にも “要約”が作れるサービス登場 https:/
Apache Sparkの概要 - Qiita
はじめに Apache Sparkはデータの高速な処理能力や、汎用性の高さから、昨今ではクラウドのPaaS型のデータ処理エンジンに搭載されるようになってきた。たとえばAzureのサービスでは従来からAzure HDInsightにPure 100% OSSのSparkが以前から搭載されている。Azure DatabricksはSparkのクラスター管理を大幅にクラウド側に寄せ、Notebookやジョブのインターフェース等を提供する形態も出てきて多くのユーザーに利用されているようである。また、2019年のMicrosoft Igniteで発表されたAzure Synapse Analyticsは従来のAzure SQL Data Warehouseに、Sparkエンジンを搭載してオンデマンドクエリ機能を提供するとの事。さらには、Azure Data Factory内にMapping Data
親類が亡くなったが現地に駆けつけるのが難しい→とある３点セットを送ったらものすごく感激された「マジで効果ある」
貝柱 @kaibasirabasira あるとき、往復で十万円ほどの交通費がかかる遠方に住む親類が亡くなった。駆けつけてお焼香をあげるほど親しく付き合ったわけでもなく、といってスルーするわけにもいかない。どうしたもんかと悩んでいたとき、年上の女性に知恵付けられた。「貝柱さん、電報よ。電報って案外効くわよ。それから 2023-06-16 01:40:39 貝柱 @kaibasirabasira ご仏前に備える銘菓でも送ればOKよ」。なるほどと思って、とはいえ電報だけではあまりに寂しいので、電報、スタンド花、それからご仏前のお菓子の三点セットをお送りした。すると相手はめちゃめちゃ感激し、貝柱ちゃんにはすごくよくしてもらったというのである。聞くと寂しい葬式だったそうで、 2023-06-16 01:42:53 貝柱 @kaibasirabasira 列席者もまばらだったけど、電報やスタンド花もか
使い込んだフライパンでも綺麗に焼けるギョーザの検証に向けたお願い | 味の素冷凍食品株式会社
※非常にたくさんのフライパンが届きましたので、当初の受付期間より早いですが、2023年6月19日に受付終了しました。 既に発送済みのフライパンは受領しています。皆さまのご理解・ご協力に深く感謝申し上げます。 お客様各位 平素は格別のご高配を賜り、厚く御礼申し上げます。 先月、SNSの『冷凍餃子がフライパンに張り付いてしまう』というお客様の投稿に、弊社より『フライパンを提供いただき、研究・開発に活用したい』と返答しました。その後、大きな反響を受けて、使い込まれたフライパンを用いた調理・検証を、弊社にて改めて行いましたので、その結果をご報告させていただきます。 また、この検証結果を受け、同様の事象が起きてしまうフライパンを募り、引き続き、最適な調理条件を研究していくことといたしました。つきましては、弊社の冷凍餃子が張り付いてしまうフライパンをお持ちの方は、下記ご案内の通り、フライパン提供にご協
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
LGBT法案採決での自民議員退席 世耕参院幹事長「党議拘束に反した行動」 | TBS NEWS DIG
Carbon | Create and share beautiful images of your source code