2007-08-30 AVR32の板 在庫は国内に9台。誰か1つだけ買ったらしい。 貸出機はないとのこと。う〜ん。 個人で買うかな。金額は1万円だそうだ。為替レートからは妥当な値付けだ。 ほかに誰かほしい人いないかな? 台数まとめて値引き交渉とかできそうだし。