sequenceDiagram autonumber
actor ユーザー
ユーザー ->> サービス: メール送って!
サービス -->> ユーザー: OAuth的なマジックリンクを送信
ユーザー ->> メールプロバイダー: リンクにアクセス
メールプロバイダー -->> ユーザー:「○○(サービス)がメールを送ろうとしています」
alt 許可
メールプロバイダー -->> サービス: リダイレクトで`code_verifier`的なものを送信
サービス ->> メールプロバイダー: `access_token`でホワイトリスト登録
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ | |
"partitionsCountOf6" : 2, | |
"beforeChecklist" : [ | |
"お湯を沸かす", | |
"豆を計る", | |
"豆を挽く", | |
"フィルターを折る", | |
"フィルターをドリッパーにセット", | |
"フィルターをリンス", | |
"コーヒー粉をセット", |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
nextpair (@z ->) (-> @y) = @z -> unpair (fst:-> @f) (snd:-> copy (-> id ->:fst) (-> + @f ->:snd) pair -> @y) | |
next (@x ->) (-> @y) = nextpair (fib (@x - 1)) -> @y | |
fib (@x ->) (-> @y) = @x -> if (@x == 0 || @x == 1) (then:-> (1, 1) ->) (else:-> next ->) merge -> @y | |
:{ | |
@x'0 -> fib -> unpair (fst:-> @t) (snd:-> output) | |
@x'0 + 1 -> @x | |
:} |
I hereby claim:
- I am y-yu on github.
- I am yyu (https://keybase.io/yyu) on keybase.
- I have a public key ASA29kppYrs84fsXeT9qihzr8-1L7A33xqHeHHSYvoxVcQo
To claim this, I am signing this object:
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
from math import sqrt | |
from graphillion import GraphSet as gs | |
universe = [ | |
# 1 | |
('1', '2', 1.0), | |
('1', '4', 1.0), | |
('1', '5', sqrt(2)), | |
('1', '6', sqrt(3)), | |
('1', '8', sqrt(3)), |
- tototoshi/slick-joda-mapper#30 で
Calender
を使う実装がはいった - 具体的なところは
mysql-connector-java
の実装による疑惑があるが、setTimestamp
でCalendar
を渡すと実際にDBに対して発行されるINSERT
などのクエリーの時間の表現が変化すると思われる-
Calendarオブジェクトを使用すると、ドライバはカスタム・タイムゾーンを考慮してタイムスタンプを計算できます。
- https://docs.oracle.com/javase/jp/8/docs/api/java/sql/PreparedStatement.html#setTimestamp-int-java.sql.Timestamp-java.util.Calendar-
-
- ただ👇下記のようにタイムゾーンを変更した時間をDBに入れるテストを追加すると
Calendar
を利用するとおかしなことが起きてしまう
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
;; For Satyrographos 0.0.2 series | |
(version 0.0.2) | |
;; Library declaration | |
(library | |
;; Library name | |
(name "satysfi-start") | |
;; Library version | |
(version "1.0.0") | |
;; Files |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
package example | |
import com.google.inject._ | |
import javax.inject.Inject | |
// javap | |
// public example.B1(java.lang.String, example.A<scala.collection.immutable.List>); | |
class B1 @Inject() (x: String, y: A[List]) | |
// javap |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
struct Cont<A, B> { | |
var run: ((A) -> B) -> B | |
var flatMap: (A) -> Cont<A, B> { | |
get { | |
fatalError() | |
} | |
_modify { | |
let that = self | |
var f: (A) -> Cont<A, B> = { (a: A) -> Cont<A, B> in that } | |
yield &f |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
struct Cont<A, B> { | |
var run: ((A) -> B) -> B | |
var flatMap: (A) -> Cont<A, B> { | |
get { | |
fatalError() | |
} | |
_modify { | |
let that = self | |
var f: (A) -> Cont<A, B> = { (a: A) -> Cont<A, B> in that } | |
yield &f |
NewerOlder