%%{init: {"flowchart": {"htmlLabels": false}} }%%
flowchart LR
subgraph LSP
subgraph lsp.install [Install language servers]
subgraph mason-pkg [Local to neovim]
mason.nvim
end
system-pkg["System
package managers"]
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
약자 | 한국정보과학회 (2020) | BK21플러스 IF (2018) | KAIST CS (2022) | SNU CSE (2024.4) | POSTECH CSE (2023.10) | 평균 (정규화) | 학회명 | DBLP Key | |
---|---|---|---|---|---|---|---|---|---|
AAAI | 최우수 | 4 | O | O | 최우수 | 1.00 | AAAI Conference on Artificial Intelligence (AAAI) | conf/aaai | |
AAMAS | 우수 | 2 | 0.20 | International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS) | conf/atal | ||||
ACCV | 우수 | 1 | 우수 | 0.25 | Asian Conference on Computer Vision (ACCV) | conf/accv | |||
ACL | 최우수 | 4 | O | O | 최우수 | 1.00 | Annual Meeting of the Association for Computational Linguistics (ACL) | conf/acl | |
ACL Findings | 우수 | 0.10 | Findings of ACL | series/findacl | |||||
ACSAC | 우수 | 2 | 우수 | 0.30 | Annual Computer Security Applications Conference (ACSAC) | conf/acsac | |||
AIED | 우수 | 0.10 | International Conference on Artificial Intelligence in Education (AIED) | conf/aied | |||||
AISTATS | 우수 | 1 | 우수 | 0.25 | International Conference on Artificial Intelligence and Statistics (AISTATS) | conf/aistats | |||
ANCS | 우수 | 1 | 우수 | 0.25 | Symposium on Architectures for Networking and Communications Systems (ANCS) | conf/ancs |
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 Fix<T> { | |
let x: (Fix<T>) -> T | |
} | |
func fix<T, U>(f: @escaping (@escaping (T) -> U) -> ((T) -> U)) -> (T) -> U { | |
{ _fix in | |
f { (_fix.x(_fix))($0) } | |
}( | |
Fix { _fix in | |
f { (_fix.x(_fix))($0) } |
- Heterogeneous containers in OCaml (archive
- ocaml-containers
CCMixmap
- type accessor objects
- generalized-signatures
Hashtbl
example- module signature only
- GADTs and associative container
- https://sympa.inria.fr/sympa/arc/caml-list/2013-07/msg00071.html
- typed key in value as well
- https://sympa.inria.fr/sympa/arc/caml-list/2013-07/msg00071.html
- Copy
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
// Code for lecture [5. Writing Parsers by Hand] | |
// https://www.youtube.com/watch?v=Ytq0GQdnChg&list=PLOech0kWpH8-njQpmSNGSiQBPUvl8v3IM&index=5 | |
import java.util.Scanner; | |
public final class Parser | |
{ | |
// === SETUP =================================================================================== | |
private static final String EXAMPLE_INPUT = |
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
@require: stdjabook | |
@require: code | |
@require: itemize | |
@require: tabular | |
@require: proof | |
@import: local | |
document (| | |
title = {An outline of \SATySFi;}; | |
author = {Takashi SUWA}; |
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
import Foundation | |
final class FileIO { | |
private let buffer:[UInt8] | |
private var index: Int = 0 | |
init(fileHandle: FileHandle = FileHandle.standardInput) { | |
buffer = Array(try! fileHandle.readToEnd()!)+[UInt8(0)] // 인덱스 범위 넘어가는 것 방지 |
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
import Combine | |
import CoreData | |
extension NSManagedObjectContext { | |
func changesPublisher<Object: NSManagedObject>(for fetchRequest: NSFetchRequest<Object>) | |
-> ManagedObjectChangesPublisher<Object> | |
{ | |
ManagedObjectChangesPublisher(fetchRequest: fetchRequest, context: self) | |
} | |
} |
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
#!/usr/bin/env python3 | |
import time | |
from http.cookiejar import Cookie | |
from re import search, findall | |
from urllib.parse import urlencode | |
from urllib.request import ( | |
HTTPCookieProcessor, | |
HTTPRedirectHandler, | |
Request, |
NewerOlder