Masahiro Sakai

icon indicating a website link https://twitter.com/masahiro_sakai icon indicating an email [email protected]

icon company Preferred Networks, Inc. (@pfnet) icon location Kawasaki, Japan icon location Computer science researcher. Interests: Functional Programming, SAT/SMT Solvers, Machine Learning, Logic, Category Theory, Mathematical Optimization.

Results 23 comments of Masahiro Sakai
trafficstars

Snapshot extension's autoloading raises AttributeError

I see. Thanks!

refine class names

How about changing `Menoh::Menoh` to `Menoh::ModelData` and `Menoh::MenohModel` to `Menoh::Model`? We can keep original names as aliases of new names for backward compatibility.

lookup value and the/a piece-wise constant component around it

It is documented that `IntervalMap` keeps adjacent mappings unmerged even though they ​are connected and mapped to the same value, and `toList` already returns the result that depends on such...