Does Phasm work ?
Does Phasm work ?
by Mingerton » 23 Oct 2015, 22:29
Bonne question...
Mes articles : | Mes programmes utiles (je termine peu de projets) : |
| ◆ Les premières TI programmables 1/2 ◆ Les premières TI programmables 2/2 ◆ Les premières TI programmables : TI-78 et TI-88 ◆ Les boîtiers des TI-z80 ◆ [TUTO]Connectez votre TI à votre Mac ◆ Astuces de programmation ◆ [TUTO] Les tableaux en TI-Basic z80 ◆ Calculatrices, laquelle est la plus précise ? | ◆ RESISTOR ◆ Tout sur la loi normale ! ◆ Physique TS : toutes les formules |
-
Mingerton 
Niveau 13: CU (Calculateur Universel)- Posts: 656
- Images: 2
- Joined: 13 May 2014, 19:36
- Location: À l'infini
- Gender:
- Calculator(s):→ MyCalcs profile
- Class: Américaine
Re: Does Phasm work ? :-?
by Epharius » 23 Oct 2015, 22:30
T'es sérieux ? 
Ok, à chaque fois que le suspens sera insoutenable, je posterai ici
Ok, à chaque fois que le suspens sera insoutenable, je posterai ici
Le projet Geometry Dash est terminé ! N'hésitez pas à aller jeter un coup d’œil au topic du projet ! Vous pouvez le télécharger ici.
Unis par la flèche sacrée de cupidon
Unis par la flèche sacrée de cupidon
-
EphariusPremium 
Niveau 16: CC2 (Commandeur des Calculatrices)- Posts: 1148
- Images: 4
- Joined: 08 Dec 2014, 17:38
- Gender:
- Calculator(s):→ MyCalcs profile
- Class: Ensimag
- GitHub: MathisLav
Re: Does Phasm work ? :-?
by noelnadal » 23 Oct 2015, 22:31
C'est un problème décidable.
En effet, on peut facilement construire une machine de Turing qui renvoie toujours 1 si Phasm fonctionne, et 0 sinon.
En revanche, le problème consistant à déterminer s'il y aura un jour une version de Phasm qui fonctionne semble indécidable. Je laisse la preuve en exercice.
En effet, on peut facilement construire une machine de Turing qui renvoie toujours 1 si Phasm fonctionne, et 0 sinon.
En revanche, le problème consistant à déterminer s'il y aura un jour une version de Phasm qui fonctionne semble indécidable. Je laisse la preuve en exercice.
-
noelnadalEcrivain 
Niveau 17: GM (Grand Maître des calculatrices)- Posts: 2259
- Images: 0
- Joined: 10 Mar 2011, 00:00
- Location: France, Melun (77)
- Gender:
- Calculator(s):→ MyCalcs profile
- Class: INRIA Paris
- Twitter: nadalnoel
- Facebook: noel.nadal1
- GitHub: noelnadal
Re: Does Phasm work ?
by Epharius » 23 Oct 2015, 22:33
C'est ça, pour le moment je suis toujours en train de chercher comment écrire en Archive sans faire de RAM CLEARED, apparemment un simple LDIR ne suffit pas
Ta machine va souvent retourner zero par contre...
Ta machine va souvent retourner zero par contre...
Le projet Geometry Dash est terminé ! N'hésitez pas à aller jeter un coup d’œil au topic du projet ! Vous pouvez le télécharger ici.
Unis par la flèche sacrée de cupidon
Unis par la flèche sacrée de cupidon
-
EphariusPremium
Niveau 16: CC2 (Commandeur des Calculatrices)- Posts: 1148
- Images: 4
- Joined: 08 Dec 2014, 17:38
- Gender:
- Calculator(s):→ MyCalcs profile
- Class: Ensimag
- GitHub: MathisLav
Re: Does Phasm work ?
by Commando12345 » 23 Oct 2015, 22:33
Oui je confirme, le fait que Phasm marche est assez surprenant ![>:]](./images/smilies/devilish.png "Devil")
-
Commando12345Premium 
Niveau 9: IC (Compteur Infatigable)- Posts: 42
- Joined: 03 Aug 2015, 18:20
- Location: près de Paris
- Gender:
- Calculator(s):→ MyCalcs profile
- Class: Master 1 Ecole d'ingé Aéronautique et Spatial
Re: Does Phasm work ?
by noelnadal » 23 Oct 2015, 22:38
Commando12345 wrote:Oui je confirme, le fait que Phasm marche est assez surprenant
* serait * surprenant
Ne pas vendre la peau de l'ours avant... vous avez compris.
-
noelnadalEcrivain
Niveau 17: GM (Grand Maître des calculatrices)- Posts: 2259
- Images: 0
- Joined: 10 Mar 2011, 00:00
- Location: France, Melun (77)
- Gender:
- Calculator(s):→ MyCalcs profile
- Class: INRIA Paris
- Twitter: nadalnoel
- Facebook: noel.nadal1
- GitHub: noelnadal
-
Commando12345Premium
Niveau 9: IC (Compteur Infatigable)- Posts: 42
- Joined: 03 Aug 2015, 18:20
- Location: près de Paris
- Gender:
- Calculator(s):→ MyCalcs profile
- Class: Master 1 Ecole d'ingé Aéronautique et Spatial
Re: Does Phasm work ?
by Epharius » 25 Oct 2015, 00:49
Attention, les paris sont lancés : Does PHASM work? Perso je pense que non mais autant essayer
REPONSE : boucle infinie, je m'attendais à pire
REPONSE : boucle infinie, je m'attendais à pire
Le projet Geometry Dash est terminé ! N'hésitez pas à aller jeter un coup d’œil au topic du projet ! Vous pouvez le télécharger ici.
Unis par la flèche sacrée de cupidon
Unis par la flèche sacrée de cupidon
-
EphariusPremium
Niveau 16: CC2 (Commandeur des Calculatrices)- Posts: 1148
- Images: 4
- Joined: 08 Dec 2014, 17:38
- Gender:
- Calculator(s):→ MyCalcs profile
- Class: Ensimag
- GitHub: MathisLav
Re: Does Phasm work ?
by Epharius » 26 Oct 2015, 15:12
Vous l'avez tous dans le popotin, parce que PHASM marche enfin, donc tout ce que vous avez parié me revient 
^ en plus ça rime trop...
Donc, ouais... PHASM est maintenant secure in ARC.
^ en plus ça rime trop...
Donc, ouais... PHASM est maintenant secure in ARC.
Le projet Geometry Dash est terminé ! N'hésitez pas à aller jeter un coup d’œil au topic du projet ! Vous pouvez le télécharger ici.
Unis par la flèche sacrée de cupidon
Unis par la flèche sacrée de cupidon
-
EphariusPremium
Niveau 16: CC2 (Commandeur des Calculatrices)- Posts: 1148
- Images: 4
- Joined: 08 Dec 2014, 17:38
- Gender:
- Calculator(s):→ MyCalcs profile
- Class: Ensimag
- GitHub: MathisLav
Re: Does Phasm work ?
by Hayleia » 26 Oct 2015, 15:15
 Pokemon Topaze (Axe) discussion and download links here | (19:29:36) noelnadal: plus sérieusement, j'ai très peu de problèmes (22:45:44) Clifward: J'aime rire du malheur des autres (2017.11.18 - 17:07:12) Fireworks: Hayleia !!!!! (2017.11.18 - 17:07:19) TI-Bot: Fireworks has been logged out (Kicked). (2017.11.18 - 17:07:22) TI-Bot: Ban of user Fireworks revoked. (2017.11.18 - 17:07:25) TI-Bot: Fireworks logs into the Chat. (2017.11.18 - 17:07:28) Fireworks: <3 (2017.11.18 - 17:07:31) Fireworks: 208 |
-
HayleiaGénéreux
Niveau 17: GM (Grand Maître des calculatrices)- Posts: 2509
- Images: 2
- Joined: 30 Aug 2011, 08:22
- Gender:
- Calculator(s):→ MyCalcs profile
- Class: Templar
14 posts
• Page 1 of 2 • 1, 2
Return to Délirium (autres discussions moins sérieuses)
Who is online
Users browsing this forum: No registered users and 15 guests
