%%{init: {"fontFamily": "monospace"}}%%
sequenceDiagram
actor you as あなた
participant app as マイナポータルアプリ
participant service as 公的個人認証サービス
you->>app: ①自分のスマホ用電子証明書の情報の確認 %%{init: {"fontFamily": "monospace"}}%%
sequenceDiagram
participant T
participant JsonObject
participant String
T->>String: Json.encodeToString(T)
This file contains hidden or 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
| +-----------------------------------+ | |
| | | | |
| | Project( | | |
| | name = "kotlinx.serialization", | | |
| | language = "Kotlin" | | |
| | ) | | |
| | | | |
| +-----------------------------------+ | |
| | ^ | |
| | | |
This file contains hidden or 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
| val listener = object : EventSourceListener() { | |
| override fun onEvent( | |
| eventSource: EventSource, | |
| id: String?, | |
| type: String?, | |
| data: String | |
| ) { | |
| if (data != "[DONE]") { | |
| val d = Json.decodeFromString<Data>(data) | |
| val c = d.choices[0].delta.content |
This file contains hidden or 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
| #!/usr/bin/env python | |
| import pyperclip | |
| from regex import regex | |
| def graphemes(text): | |
| return regex.findall(r'\X', text) | |
This file contains hidden or 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
| def dump(data): | |
| print(data) | |
| # https://libraries.io/pypi/regex | |
| ss = regex.findall(r'\X', data) | |
| print(ss) | |
| print(len(ss)) | |
| print() |
This file contains hidden or 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
| data = ('aAあ' | |
| # Emoji 1.0 😀😍 - Grinning Face | Smiling Face with Heart-Eyes | |
| # https://emojipedia.org/emoji-1.0/ | |
| '\U0001F600' | |
| '\U0001F60D' | |
| # 13.0 🥸🐻❄️ - Disguised Face | Polar Bear | |
| # https://emojipedia.org/emoji-13.0/ | |
| '\U0001F978' |
This file contains hidden or 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
| fun dump(data: String) { | |
| println(data) | |
| val ss = Regex("\\X").findAll(data) | |
| .map { match -> match.value } | |
| .toList() | |
| println(ss) | |
| println(ss.size) | |
| println() |
This file contains hidden or 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
| val data = "aAあ" + | |
| // Emoji 1.0 😀😍 - Grinning Face | Smiling Face with Heart-Eyes | |
| // https://emojipedia.org/emoji-1.0/ | |
| "\uD83D\uDE00" + "\uD83D\uDE0D" + | |
| // 13.0 🥸🐻❄️ - Disguised Face | Polar Bear | |
| // https://emojipedia.org/emoji-13.0/ | |
| "\uD83E\uDD78" + "\uD83D\uDC3B\u200D\u2744\uFE0F" + |
0x200D| emoji | 👩👧👦:family_woman_girl_boy: |
|||||||
| code point | 0x1F469 |
|||||||