I looked over the Matsusada page but couldn't see anywhere where they confirm the type of power supply, but to be that compact I suspect they are SMPS. They do look pretty nice, but even there most precise ones seem to be limited to 10mA control versus, say, 1mA control.
I couldn't seem to find it anymore but if I remember it correctly back when we were considering their supplies at work, I read somewhere that they are SMPS. At that size and voltage/current range it supports, they have to be.
... I also did not see a price or where to buy them so...
Yup, this was one of the difficult part when we were trying to source them. I believe they only sell directly from their office in Japan. We were able to contact them by filling up the inquiry form in their website then a guy from Japan gave us a call a few days afterwards. They quoted JPY 67500 (~US$660) for the R4K36-1-L model. The R4K-80 model was at JPY 85000 (~US$830). Interestingly, there is a JPY 5000 "handling charge" additional per order. And shipping is not yet included too. This was about a year ago.
Unfortunately, we were not able to buy from them due to difficulties in making international purchases in our company especially if the vendor is not in the "qualified suppliers list".
Typical big company problems I suppose.
Let me know if you are interested and I'll send you the contact info of the guy we talked to.