独自開発のデジタル通貨 三菱ＵＦＪが大規模な実証実験へ | NHKニュース
現金を使わないキャッシュレスが広がる中、三菱ＵＦＪ銀行は、みずから開発を進めているデジタル通貨を買い物の支払いなどに広く利用してもらう、１０万人規模の大がかりな実証実験を来年にも行う方針です。 こうした中、三菱ＵＦＪはこのコインを使った大がかりな実証実験を、来年にも地域を限定して実施する方針です。 公募する銀行の顧客１０万人規模を想定していて、利用者はスマートフォンに専用のアプリを入れたうえで、口座の預金をデジタル通貨に替えて使います。 コンビニや飲食店、デパートでの支払いのほか、割り勘など個人間の送金にも利用してもらい、決済がスムーズに行われるかや、セキュリティー面で問題がないかなどを検証します。 また、幅広い業種の企業と連携し、例えば電車を利用する際、ラッシュの時間帯を避けた人にコインを付与するなど、デジタル通貨を活用したさまざまなサービスも検討します。 金融とＩＴが融合する「フィンテ
Haskell で型安全に YAML ファイルをビルド時に埋め込む
ザックリ言えば「Template Haskell でコード中に JSON を埋め込んだりコンパイル時にファイルから型安全に読み込んだりする - ryota-ka's blog」という記事の YAML 版です． ただし，ryota さんの記事では Template Haskell を解説しながら JSON を読み込む関数を定義していますが， YAML 版は yaml パッケージに同様の関数が既にあるので特に解説はしません． あくまでも Haskell の型システムとメタプログラミングを感じてもらえたらなぁと． ソースコードは全てこのリポジトリにまとめてある． YAML を埋め込む 次のような設定ファイルに関する型があったとします． data Config = Config { columns :: Int , languageExtensions :: [String] } deriving
Google Code Jam 2018 Qualification Round - Saving The Universe Again - Qiita
復習 & Haskellの学習 頭の体操を兼ねて、Haskellでの解法を考えてみています。 が、あまりHaskellならではの実装をできていない気もします… テンプレート parse :: [String] -> [Data d] 入力行をStringの配列で受け取って、問題データの配列を出力する Stringの配列から必要な分だけ使って問題データに変換し、あとは末尾再帰 solve :: Data d -> String 問題データを受け取って、解答の文字列を出力する 方針 一番後ろの'CS'をひっくり返すのが、1手で最大のダメージを減らす方法 ダメージ以下になるまで繰り返し（再帰）して回数を調べる ひっくり返せなくなったらIMPOSSIBLE 実装 import Control.Monad parse :: [String] -> [(Int, String, Int)] parse
Hackageメタデータの依存関係だけ更新してどうするの？ - ぼくのぬまち 出張版
(追記) cabal update で反映される模様？ Agda-2.4.2.5のDependenciesで，unordered-containersを見て欲しい．依存関係が >=0.2.5.0 && <0.2.6 となっているが，これはHackage上のパッケージメタデータのみをパッケージアップロード後に編集したもので，実際2016/1/25現在見えているメタデータはrev 1となっている．編集前の依存関係では >=0.2.5.0 && <0.3 であり，これはパッケージ登録時の.cabalファイルからのものだ． 実際，unordered-containers-0.2.6.0によりAgda-2.4.2.5のビルドは失敗する． src/full/Agda/Utils/HashMap.hs:3:5: Ambiguous occurrence ‘mapMaybe’ It could refer
Web Authentication API で FIDO U2F(YubiKey) 認証 | blog.jxck.io
Intro Web Authentication(WebAuthN) API の策定と実装が進んでいる。 これを用いると、 FIDO(Fast IDentity Online) U2F(Universal Second Factor) 認証が可能になる。 今回は YubiKey 認証の実装を通じて、ブラウザ API の呼び出しと、サーバ側で必要な処理について解説する。 https://w3c.github.io/webauthn/ DEMO 動作するデモを以下に用意した。 https://labs.jxck.io/webauthentication/fido-u2f/ YubiKey での動作のみ確認している。 コードは以下にあり、今回の解説もここから抜粋している。 (あくまで API の流れを解説するためのものであるため、飛ばした処理もあり、本番利用に耐えうるものではない。) https
GHC拡張ノック(Part 1) - Haskell-jp
n番煎じのよく使うGHC拡張の紹介Posted by mizunashi_mana on May 15, 2018Tags: GHC, Language Extensions Haskell1では各処理系で言語拡張を提供し，LANGUAGEプラグマというものを利用することで，言語拡張を利用することが許容されています．Haskellのデファクト標準的な処理系GHCも多くの言語拡張を提供しており，その拡張はGHC拡張と呼ばれています． 今回は，このGHC拡張の簡単な紹介と，個人的に良く使う拡張についての簡単な紹介を，全3回に分けて行いたいと思います．対象としては，GHCでHaskellプログラミングをしたことがあり，通常のHaskellの構文や動作方法が分かっている人を考えています．また，この記事はあくまで簡単な紹介に留めるもので，付随する留意点や詳細な機能説明は，大事な箇所は漏らさないよう注
オレ的 Haskell で CLI を作る方法 2018
現在 TaskPad という簡易的なタスク管理(編集)ツールを Haskell で作っていて，少し CLI を作るうえでのオレ的ノウハウが溜まったのでメモっとく． TaskPad 先に，何を作ってるかを書いておく． まだ完成していないが，気持ちは次のような Yaml ファイルを編集して自身のタスク管理をしようかなと考えている． memo: [] tasks: 1: done: true children: [] name: hello 2: done: false children: [] name: world date: '20180504' 現状できている CLI は次のような感じ $ taskpad --help taskpad - operate daily tasks Usage: taskpad [-v|--verbose] [-d|--date DATE] COMMAND
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - ReedOei/fuzzy-dates: Automatically detect and parse dates in many different formats
GitHub - mainland/exception-mtl
GitHub - mainland/exception-transformers
exception-hierarchy
GitHub - ndmitchell/record-dot-preprocessor: A preprocessor for a Haskell record syntax using dot