From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 7C6DF7FEE8 for ; Wed, 26 Jul 2017 16:58:24 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=chan.ngo2203@gmail.com; spf=Pass smtp.mailfrom=chan.ngo2203@gmail.com; spf=None smtp.helo=postmaster@mail-qt0-f196.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of chan.ngo2203@gmail.com) identity=pra; client-ip=209.85.216.196; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="chan.ngo2203@gmail.com"; x-sender="chan.ngo2203@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of chan.ngo2203@gmail.com designates 209.85.216.196 as permitted sender) identity=mailfrom; client-ip=209.85.216.196; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="chan.ngo2203@gmail.com"; x-sender="chan.ngo2203@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qt0-f196.google.com) identity=helo; client-ip=209.85.216.196; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="chan.ngo2203@gmail.com"; x-sender="postmaster@mail-qt0-f196.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A8V2Umxx+cYqwbLfXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?0uoXKPad9pjvdHbS+e9qxAeQG96Ku7Qc06L/iOPJYSQ4+5GPsXQPItRndiQuro?= =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?= =?us-ascii?q?JuTyB4Xek9m72/q89pDXYAhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?= =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?= =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7Vq4/Vyi84Kh3SR/okC?= =?us-ascii?q?YHOCA/8GHLkcx7kaZXrAu8qxBj34LYZYeYO/1jcKPAZtMaXXROUdpNVyJPBYO8?= =?us-ascii?q?apEAD+sHPe1Fq4XwqF8DoR64CAKxBu3g1yVIi2f206M5z+suHhzI0gIiENwQvn?= =?us-ascii?q?Taq874O70OXeCw1qTIzSnPYvFQ1Dzg6IbIaBchofSUUL1/a8XRz1QkGh3FjlqK?= =?us-ascii?q?r4zuIiub1usKs2OG6OdvSeKvhHQhqw1rpDivycAshpfXio4JxF3J7ip5wIMvKt?= =?us-ascii?q?25TE53e8KrEJxVtyyDMYZ9X80sQ2ZtuCkgy70Gv4a2fDAQyJQg3BHQceeIc4mM?= =?us-ascii?q?4hLiT+aRPTZ4i258dLKnnRay9kegyvfmWcmx1VZKryxFktbWunAKzRzT5dCLSv?= =?us-ascii?q?p7/ke72DaAzRrf6u9eIUwsmqrbKoIhwr4tlpUIq0jDHyj2lF32jaCMdkUk/e+o?= =?us-ascii?q?5/77bbXho5+QL4h0igL7MqQvmMyzG+M4MhIBX2Wd5O+y16Xj8FXnTLlWivA6iK?= =?us-ascii?q?rUvZDAKcgFu6K0AhVZ3psn5hu+FzuqzcoUkHodIF5bdh+KjZLlN0zKLf33F/uz?= =?us-ascii?q?nlWhnCttyvvbJLPuGI/NIWLGkLr5fbZy9UpcyA0rwNBa/Z1UC7UBLOvqWk/tqN?= =?us-ascii?q?DUFxE5PxGwzuvmEtl92YQeWWWAAq+dLqzeq0OH5uUqI+WUZY8VvijyK+Q96vLw?= =?us-ascii?q?kXM0nUURcKqp0JcNdny0A/VrL1+EbXfog9oNCWIKsRA/TOzuhl2CSzlTZ3OqUq?= =?us-ascii?q?0g5jE0EoSmAZ3FRoCih7yNwjm3EoFYa21dBVCMFG3nd4SAW/sWdC2SJcphniQe?= =?us-ascii?q?Vbe9U48hyQ2utAjixrV7NOXU/ykYuYvn1Nh0/O3TiQo/9Sd0DsSYy2GCVXt4nm?= =?us-ascii?q?IORz8s3aBwu1ZxylmZ0fswv/sNO8Za4fhOUxxyH7Pm4spVJuq6DgjMZNqPR1u8?= =?us-ascii?q?at+nBis8QZQy0sIVY1s4BpOrhVbBx3z5LaUSkum1DZp82aLV2TDXKME1n33G3a?= =?us-ascii?q?9niVYhGJEXbkWpg6d+807YAIufwBbRrLqjaalJhH2Fz2yE12fb+RwBXQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0COAQBfrXhZf8TYVdFdDgwBAQEBAgEBA?= =?us-ascii?q?QEIAQEBARUBAQEBAgEBAQEIAQEBAYQTgRSOf5BtgkIqhjSHO4IRgjeCeCyFGwK?= =?us-ascii?q?DSUIVAQEBAQEBAQEBAQESAQEJCwsIJjGCMySCQQEBAQECASMdARsRAQsBAwELB?= =?us-ascii?q?gUEBw0NHQICIxEBBQEKEgYTEooEAQMNCBCkYz+MCoIEBQEcgwkFg18KGScDCla?= =?us-ascii?q?DLQEBAQEBAQEBAQEBAQEBAQEBAQEBARUCBgkBCIMWgTGEKIJ5gwCFBjCCMQWBL?= =?us-ascii?q?QEBAYZRDI9Lh3kIAQGBUIV/jFMMgleIPYcakR2DCzOBFQ8mgSxTJF4SAQdcgg6?= =?us-ascii?q?CA4FTW1qJNQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0COAQBfrXhZf8TYVdFdDgwBAQEBAgEBAQEIAQEBARUBAQE?= =?us-ascii?q?BAgEBAQEIAQEBAYQTgRSOf5BtgkIqhjSHO4IRgjeCeCyFGwKDSUIVAQEBAQEBA?= =?us-ascii?q?QEBAQESAQEJCwsIJjGCMySCQQEBAQECASMdARsRAQsBAwELBgUEBw0NHQICIxE?= =?us-ascii?q?BBQEKEgYTEooEAQMNCBCkYz+MCoIEBQEcgwkFg18KGScDClaDLQEBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBAQEBARUCBgkBCIMWgTGEKIJ5gwCFBjCCMQWBLQEBAYZRDI9Lh3k?= =?us-ascii?q?IAQGBUIV/jFMMgleIPYcakR2DCzOBFQ8mgSxTJF4SAQdcgg6CA4FTW1qJNQEBA?= =?us-ascii?q?Q?= X-IronPort-AV: E=Sophos;i="5.40,415,1496095200"; d="scan'208,217";a="285038732" Received: from mail-qt0-f196.google.com ([209.85.216.196]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 26 Jul 2017 16:58:23 +0200 Received: by mail-qt0-f196.google.com with SMTP id u19so4652114qtc.0 for ; Wed, 26 Jul 2017 07:58:23 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:message-id:mime-version:subject:date:in-reply-to:cc:to :references; bh=fA3RSGKq/FpnU0qsrKoIrCS5Vxdjurr1618PgSQIgSE=; b=cWTLez0jXfHcoXJ06Vn8R7FC65g6kUxEA5scitAVc/zLtsZVbg57RWY3wot8nIPiYM +VfUcRc1znuLgMQVw3W1b01rXW8ck+C9/4c+inYjKWjRukJJPfHVJSYd5TbvmLgrjvpG I5ZHCXtR4X1HDppCWN1PPGWgQcJ6Z5E2R9jKyVsvZr9sfHrcbSXGpCm8DxVpf+t8tiHE W8ooS4tZb85px7KlXwp3I6CNm7uv/xG5bhdLaULkPsB+s9letANRbb5SdT63krPbyiVw oZsGk7pI4L2SCYCBjahKt4uNsaHeO9jeRhUYQsRi2G+pA6/9oh/MwDzbSv+sY99RvLHF yRZw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:message-id:mime-version:subject:date :in-reply-to:cc:to:references; bh=fA3RSGKq/FpnU0qsrKoIrCS5Vxdjurr1618PgSQIgSE=; b=dlvATmNIiU/PvYfDU9xexfZFsQpgkRPhuBEtoh+4gDgrbW2CgidYAy7IFCwrZhpm1/ eW0OK2k1v6UAwQdiY9Yd9dbLpnS49fK9Fjdgiy2depMwTCMqgxR+XQKCeh8vqy6aVLDI 0OjhV2kz5XTPvxT3KSFTYNZVs6DSaH4J7m5lOY0oBxHBBzQmL9kcsyINbvGf8meycyxf xZ08CfaEJ0yK99Ch1s/9Th05f8bYofHXwjiuBUcGimr4rnw1xscQcVxkLK5jWXG+owwL 155o2hMHnt17nT8DB0sFSPxQBxcDbQdhbTwmZK/AlX5gJMSG5V7q8odK8076eMYx2slS Lbmg== X-Gm-Message-State: AIVw1102ScolaIWNhgjcF+spQyLRr9/2nLqcPAsT/aV/3jX3IN6cne3t ztd01f6MSGJpEA== X-Received: by 10.200.3.195 with SMTP id z3mr1707601qtg.185.1501081101900; Wed, 26 Jul 2017 07:58:21 -0700 (PDT) Received: from chans-imac.wv.cc.cmu.edu (Chans-iMac.wv.cc.cmu.edu. [128.237.194.160]) by smtp.gmail.com with ESMTPSA id u3sm12418519qth.95.2017.07.26.07.58.20 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 26 Jul 2017 07:58:20 -0700 (PDT) From: Van Chan Ngo Message-Id: Content-Type: multipart/alternative; boundary="Apple-Mail=_20566CC4-8991-4A37-BB0D-30446D467FD4" Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) Date: Wed, 26 Jul 2017 10:58:19 -0400 In-Reply-To: Cc: caml-list@inria.fr To: Francois BERENGER References: <20170725203527.dr43f6cjmdqqiq7p@delli7.univ-savoie.fr> <20170725225207.Horde.fgR2ec4koihKCiMWNcWZTRL@webmail.in-berlin.de> <6CEE3BE6-5578-4D39-8D43-14781B8FE5F7@gmail.com> X-Mailer: Apple Mail (2.3273) Subject: Re: [Caml-list] Probabilistic Functional Programming --Apple-Mail=_20566CC4-8991-4A37-BB0D-30446D467FD4 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 Thanks Francois. I heard about them. There exists also a wiki page of proba= bilistic programming http://probabilistic-programming.org/wiki/Home In my opinion, it will (and currently) be attractive techniques in machine = learning and robotics. Best, -Chan > On Jul 25, 2017, at 8:06 PM, Francois BERENGER wrote: >=20 > On 07/26/2017 06:12 AM, Van Chan Ngo wrote: >> Hi all, >> The following link gives a simple example of =E2=80=9Cprobabilistic func= tional programming=E2=80=9D. >> http://channgo2203.github.io/articles/2017-02/probfind >=20 > If you are interested in the topic: >=20 > http://okmij.org/ftp/kakuritu/ >=20 > and >=20 > http://okmij.org/ftp/kakuritu/Hansei.html >=20 > might be interesting pages. >=20 > Disclaimer: I never used any of those >=20 > PS: kakuritu in the URLs should probably be kakuritsu >=20 >> How do you think about the importance of the expected runtime for this c= lass of functional programs? >> Is an automatic analysis valuable in practice? And any idea about the ap= plications of probabilistic functional programming. >> Best, >> -Chan >=20 > --=20 > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs --Apple-Mail=_20566CC4-8991-4A37-BB0D-30446D467FD4 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8 Thanks Francois. I= heard about them. There exists also a wiki page of probabilistic programmi= ng
http://probabilistic-programming.org/wiki/Home

In my opinion, it will (and = currently) be attractive techniques in machine learning and robotics.
=

Best,
-Chan

On Jul 25, 2017, at 8:06 PM,= Francois BERENGER <berenger@bioreg.kyushu-u.ac.jp> wrote:

On 07/26/2017 06:1= 2 AM, Van Chan Ngo wrote:
Hi all,
The following link gives a simple example of =E2=80= =9Cprobabilistic functional programming=E2=80=9D.
http://c= hanngo2203.github.io/articles/2017-02/probfind

If you are interested in the topic:

http://okmij.= org/ftp/kakuritu/

and

http://okmij.org/ftp/kakuritu/Hansei.html

might be interesting pages.

Disclaimer: = I never used any of those

PS: kakuritu in the = URLs should probably be kakuritsu

How do you think about the importance of the expec= ted runtime for this class of functional programs?
Is an auto= matic analysis valuable in practice? And any idea about the applications of= probabilistic functional programming.
Best,
-C= han

--
Caml-list m= ailing list.  Subscription management and archives:
http= s://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http:= //groups.yahoo.com/group/ocaml_beginners
Bug reports: http://= caml.inria.fr/bin/caml-bugs
= --Apple-Mail=_20566CC4-8991-4A37-BB0D-30446D467FD4--