Shuji Narazaki – Medium

Shuji Narazaki

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.

Oct 29, 2019

Big-Bang Initialization of Variable Activity in a SAT Solver

Oct 29, 2019

Shuji Narazaki

Connecting MongoDB Atlas from Rust programs

How to handle “mongodb+srv://”

Jun 7, 2019

Connecting MongoDB Atlas from Rust programs

Jun 7, 2019

Shuji Narazaki

綺麗な字を書きたい

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

Feb 9, 2019

綺麗な字を書きたい

Feb 9, 2019

Shuji Narazaki

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

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

Nov 27, 2018

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

Nov 27, 2018

Shuji Narazaki
in
text-is-saved

Gitlab-runnerでpdfをデプロイ

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

Jun 15, 2018

Gitlab-runnerでpdfをデプロイ

Jun 15, 2018

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.

May 12, 2018

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

May 12, 2018

Shuji Narazaki

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

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

May 8, 2018

May 8, 2018

Shuji Narazaki

/nixとbtrfs

Use any fs but btrfs for /nix (NixOS)

May 7, 2018

May 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…

Dec 31, 2017

My 10 items in 2017

Dec 31, 2017

Shuji Narazaki

A Note on #UPDATEVARACTIVITY

Yet another mystery in Glucose

Nov 16, 2017

A Note on #UPDATEVARACTIVITY

Nov 16, 2017

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
Press
Blog
Privacy
Terms
Text to speech
Teams