2009-04-10から1日間の記事一覧

社内openidとか使うと面白そうだよね

乱立した業務システムのアカウント管理とか権限管理とかを包括的にやろうとすると認証サーバ的なものが必要になってくるだろうけど、この辺りの「緩い」技術ってopenidのほかにどういうのがあるんだろか。 社内用のopenidサーバとか、あると便利そう。あ、別…

「(λx.M(xx))(λx.M(xx))→ M(λx.M(xx)(λx.M(xx)))」

おとうさん、ぼくにもYコンビネータがわかりましたよ! - 2009-04-09 - きしだのはてなの記事について。ブコメで 「(λx.M(xx))(λx.M(xx))→ M(λx.M(xx)(λx.M(xx)))」で詰まった。 と書いたけど、普通に書いたら問題なかった件を書いておく。左辺の(λx.M(xx))(…