Shuji Narazaki – Medium

Shuji Narazaki
in
Backjump technologies

Big-Bang Initialization of Variable Activity in a SAT Solver

Investigating (almost) all variables leads to a better search path.

4 min readOct 29, 2019

--

Big-Bang Initialization of Variable Activity in a SAT Solver

--

Shuji Narazaki

Connecting MongoDB Atlas from Rust programs

How to handle “mongodb+srv://”

2 min readJun 7, 2019

--

Connecting MongoDB Atlas from Rust programs

--

Shuji Narazaki

綺麗な字を書きたい

文字とは線の集合なのかそれとも点の集合なのか

4 min readFeb 9, 2019

--

綺麗な字を書きたい

--

Shuji Narazaki

レジ袋の中の弁当と飲み物

How to pack a bento and a bottle in a plastic bag

2 min readNov 27, 2018

--

レジ袋の中の弁当と飲み物

--

Shuji Narazaki
in
text-is-saved

Gitlab-runnerでpdfをデプロイ

emacs(magit) -> git push -> gitlab-runner -> make -> nextcloud

5 min readJun 15, 2018

--

Gitlab-runnerでpdfをデプロイ

--

Shuji Narazaki

I don’t need a space between a plus sign and digits for “Int”

A parser in Text.Parsec.Language.haskell accepts such a string.

1 min readMay 12, 2018

--

I don’t need a space between a plus sign and digits for “Int”

--

Shuji Narazaki

Evilに固有の背景色を割り当てる

Let’s differentiate Evil-mode from normal modes in Emacs

2 min readMay 8, 2018

--

--

Shuji Narazaki

/nixとbtrfs

Use any fs but btrfs for /nix (NixOS)

3 min readMay 7, 2018

--

--

Shuji Narazaki

My 10 items in 2017

As usual, time passed at light speed. And many memories are going to escape from me. So I’d like to copy the most weighted ten items in my…

4 min readDec 31, 2017

--

My 10 items in 2017

--

Shuji Narazaki

A Note on #UPDATEVARACTIVITY

Yet another mystery in Glucose

4 min readNov 16, 2017

--

A Note on #UPDATEVARACTIVITY

--

Shuji Narazaki

Shuji Narazaki

Studying SAT solvers and symbolic computation (type and logic). Being into 円城塔, Greg Egan, Stephen Colbert, 酒見賢一, say a Sci. Fi. person.

Following

Help
Status
About
Careers
Blog
Privacy
Terms
Text to speech
Teams