随伴を使って理解するStateモナドの実装
前回の記事は魔法のように見えるStateモナドの実装も、順を追って見ていけば理解することは難しくないという話でした。 しかし状態の変更を順番に処理するというような手続き的な考え方にかなり近い構造が、うまくモナドになってくれるというのは少し不思議ですよね。 この記事では タプル (a, b) 関数 a -> b カリー化 curry :: ((a, b) -> c) -> a -> b -> c uncurry :: (a -> b -> c) -> (a, b) -> c といったHaskellの基本的な要素が随伴と呼ばれる関係を構成することを見て、 その随伴からStateモナドが導かれることを説明していきたいと思います。 随伴 二つの圏 C, D と二つの関手 F : C \rightarrow D, G : D \rightarrow C が与えられたとしましょう。 もし GF = {
Bastion ~ AWS Fargateで実現するサーバーレスな踏み台設計 / Bastion using AWS Fargate
Infra Study Meetup #6でのLT登壇資料になります。
【Power Automateの新しいRPA機能】Power Automate Desktopの操作方法(ExcelとWebブラウザ操作の自動化) - Qiita
【Power Automateの新しいRPA機能】Power Automate Desktopの操作方法(ExcelとWebブラウザ操作の自動化)RPAPowerAutomateDesktop サンプルファイルについて 2021/7/24 追記 Github に、本ページで扱う Excel ファイルやサンプルのフローをアップロードしました。 よろしければご使用ください。 以下のイベント用にで作成したファイルになります。 はじめに Microsoft Igniteの発表でPower Automateの「per user with attended RPA plan」で「Power Automate Desktop」が使用できるようになりました。2020年9月24日でPreview版です。 この記事でPower Automate DesktopのWebレコーダーによる自動化やExcel操作を通
「聞こえているのに聞き取れない」対処法などオンラインで共有 | NHKニュース
「雑音があると、ことばが聞き取れない」「聞き返しや聞き間違いが多い」聴力は正常でも人混みなど雑音の多い場所だと必要な話を選び取れず理解できなくなってしまう、APD＝聴覚情報処理障害と呼ばれる症状があります。症状に悩む人たちがオンライン上で交流会を開いて聞き取れなかった時にどう状況を改善させているか対処法を話し合いました。 交流会では参加した人たちから新型コロナウイルスの影響で「職場でオンライン会議が増えて話の内容を聞き取れず、理解できない」とか、「買い物ではレジのあるカウンターに透明のカーテンがつるされたり、店員がマスクを付けたりしていてうまくやり取りできない」といった声が相次ぎました。 また、「話の内容がわからないまま相手の気分を損ねないよう、相づちを打って話を聞いているふりをしている」といったエピソードが紹介されると、大きくうなずく参加者の姿も見られました。 このほか、10年以上症状に
テクニカルサポートに的確に問い合わせる技術
テクニカルサポートを活用するために はじめまして、ひよこ大佐と申します。Red Hatという会社でAnsibleのテクニカルサポートエンジニアをしています。 我々テクニカルサポートエンジニアがどのようなことをしているのかは、以下の登壇資料にまとめていますので、一読いただければ幸いです。 何かサービスや製品を使用していると、問題に遭遇することがあります。設定方法が不明だったり、思ったような挙動にならなかったり、サービスが停止してしまうケースもあります。そのような場合に一生懸命がんばって自己解決しようとしても、運用担当者だけではうまくいかないことも多々あります。 そのような場合でも、テクニカルサポート窓口に相談し、サポートスコープの範囲内で支援を受けることができます。しかし、適切な問い合わせ方を知らないと問題解決まで時間がかかってしまったり、支援を断られたり、うまくコミュニケーションが取れずに
Windows XPのソースコードがインターネットに流出か | ソフトアンテナ
Microsoftのオペレーティングシステム「Windows XP」のものとされるソースコードがインターネット上に流出していることがわかりました(MSPoweruser)。流出したソースコードはWindows XPのものだけではなく、Windows Server 2003など以下に示すOSが含まれている模様です。 Windows XP Windows Server 2003 MS DOS 3.30 MS DOS 6.0 Windows 2000 Windows CE 3 Windows CE 4 Windows CE 5 Windows Embedded 7 Windows Embedded CE Windows NT 3.5 Windows NT 4 ソースコードは米国のインターネット掲示板4chanなどで拡散されていて、コンテンツ全体のサイズは43GBという膨大なサイズのようです。ソー
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
インフラ基盤技術のセキュリティとこれから
TechCrunch