Skip to content

Instantly share code, notes, and snippets.

View y-yu's full-sized avatar

YOSHIMURA Yuu y-yu

View GitHub Profile
@y-yu
y-yu / アイスコーヒー.json
Created August 16, 2024 14:33
コーヒー設定
{
"partitionsCountOf6" : 2,
"beforeChecklist" : [
"お湯を沸かす",
"豆を計る",
"豆を挽く",
"フィルターを折る",
"フィルターをドリッパーにセット",
"フィルターをリンス",
"コーヒー粉をセット",
sequenceDiagram autonumber
    actor ユーザー
    ユーザー ->> サービス: メール送って!
    サービス -->> ユーザー: OAuth的なマジックリンクを送信
    ユーザー ->> メールプロバイダー: リンクにアクセス
    メールプロバイダー -->> ユーザー:「○○(サービス)がメールを送ろうとしています」
    alt 許可
      メールプロバイダー -->> サービス: リダイレクトで`code_verifier`的なものを送信
 サービス ->> メールプロバイダー: `access_token`でホワイトリスト登録
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
:}
@y-yu
y-yu / keybase.md
Last active November 29, 2022 16:08

Keybase proof

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:

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)),
@y-yu
y-yu / slick-joda-mapper-issue.md
Last active September 14, 2022 08:50
slick-joda-mapperの件

slick-joda-mapperの動作がおかしそう

概要

;; 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
@y-yu
y-yu / Main.scala
Last active November 24, 2020 13:31 — forked from xuwei-k/Main.scala
"higher kind" and "parameter list"
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
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
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