Ji-won nouvel original
Ces dernières années, deux grands domaines de l'intelligence artificielle et de l'informatique quantique les deux grands espoirs été, d'autant plus que les gens sont « Dépasser » coin dépasser les deux opportunité historique. Il fait référence à un ordinateur quantique en utilisant le principe de superposition cohérente de traitement de calcul numéro d'attribut unique ordinateur quantique qubit quantique temps plus rapide, en théorie ultrarapides simulation informatique et parallèle des capacités de calcul. Il représente une percée informatique quantique était les limites de l'échelle nanométrique de la loi de Moore, la puissance de calcul est un grand potentiel. Il a été joué un exemple: Si la vitesse est maintenant vélo de vitesse de l'ordinateur traditionnel, un ordinateur quantique est comme un avion.
La puissance de calcul est l'une des trois armes magiques AI. AlphaGo informatique existant été en mesure de soutenir un tel « Go Dieu » si nous voulons améliorer encore la puissance de calcul des ordinateurs quantiques, que ce soit apparaît « forte AI » est pas si loin? Même en faisant abstraction jusqu'à présent, si les ordinateurs quantiques accélérer considérablement le plus couramment utilisé en IA et CNN RNN il?
Le mois dernier, IBM a annoncé que sa percée informatique quantique 16 bits, l'Académie chinoise des sciences a également annoncé en mai, le premier ordinateur au-delà de l'ordinateur quantique classique la première lumière du monde est né. À l'heure actuelle, la plupart des études dans le domaine de l'informatique quantique, matériel informatique quantique sont la construction d'installations, et une fois que les ordinateurs quantiques peuvent être achetés sur le marché, le logiciel Quantum joueront un rôle clé. "
Récemment, le nouveau Ji-won interview exclusive avec l'Université Tsinghua, Institut de logiciel, l'Académie chinoise des sciences, le professeur Ming-sheng UTS devrait, il a des recherches approfondies en informatique quantique et les fondations du système d'intelligence artificielle. Ce doit être un professeur Mingsheng première entrevue, il a cru l'informatique domestique quantique semble être très occupé, pas dans ce peuple zone ont des idées fausses sur l'informatique quantique, il espère contribuer au développement de ce calcul d'entretien du champ quantique actuel une clarification.
Mingsheng doit être considéré comme un ordinateur quantique est pas une condition nécessaire de la forte AI ne sais pas, mais probablement pas une condition suffisante. Pour atteindre le soi-disant « IA forte », je crains que la vitesse n'est pas la seule contrainte.
Les gens veulent trouver que des algorithmes informatiques classiques des algorithmes plus rapides quantiques devraient Mingsheng dit: Ceci est un problème très difficile. Sont les ordinateurs quantiques capables de mieux former le réseau de neurones n'a pas encore bien compris . Il a plaisanté: " Chaque jour, forcé machine humaine « l'apprentissage profond » qu'il ne peut pas nécessairement prêt à « l'apprentissage en profondeur » ".
Faut-Mingsheng, a déclaré: « De nombreux problèmes dans les ordinateurs quantiques faire mieux que l'ordinateur classique, mais nous savons déjà que pour certains problèmes, les ordinateurs quantiques et il n'y a aucun avantage .. » Faut-il envisager Mingsheng, En plus de l'apprentissage de la machine quantique et d'autres aspects de l'IA quantique, aucun progrès réel.
Que ce soit l'informatique quantique de l'informatique classique dans le raisonnement ont un avantage? Bien sûr, vous pouvez dire que l'apprentissage de la machine est une sorte de raisonnement inductif, le raisonnement déductif, mais quoi? Si seulement l'histoire de l'humanité Bacon, Aristote n'est pas impensable. Par conséquent, l'avenir logique AI renaîtra sous une nouvelle forme.
Comme les difficultés de programmation quantique? Ming Chan a déclaré Shall quantique programmé non seulement besoin d'une méthode simple de programmation d'une transplantation classique, il. Penser à flux de contrôle du programme si elle est quantique, récursivité sera comme? L'intrication quantique en parallèle, programme distribué ce jeu de rôle? l'optimisation du circuit quantique en plus le cas d'un qubit déjà savoir comment faire, Aucun progrès substantiel dans le cas de plusieurs qubits plusieurs années.
Quantum programmation logique informatique, dès dans les années nonante sur la définition de certains langage de programmation simple quantique. L'étude est vraiment grave se produit après 2010, en particulier Microsoft a publié un langage de programmation quantique Liqui | > . Deux autres relativement grand impact de la langue est Quipper Peter groupe Selinger, de l'Université de Princeton et d'autres unités de conception et mise en uvre du Échafaudage.
Ming survivants devraient être soulignés: Physiciens font seuls les efforts de calcul quantique ne sont évidemment pas assez, les informaticiens ne participent pas, il est difficile de bien faire. Aux États-Unis, l'Europe, l'étude soigneusement conçue à partir d'une architecture informatique quantique, algorithmes quantiques et de la complexité, il y a des gens dans le programme quantique. Et les physiciens et informaticiens souvent discuté sous un même toit.
Cependant, quantum de la recherche nationale de calcul du point de vue de la science informatique est essentiellement un blanc. Ceci est pour notre pays d'être compétitif dans le domaine de l'informatique quantique est évidemment défavorable. De l'avenir de l'industrie, peut-être le marché du logiciel quantique ultime est encore plus grande que le matériel.
À l'heure actuelle, les entreprises étrangères telles que Microsoft, Google, Intel et IBM ont investi beaucoup plus que des dizaines de millions de dollars de ressources, les grandes entreprises nationales ne sont pas activement impliqués dans la recherche informatique quantique, je industrie nationale est encore un manque de ce talent.
Sur les défis de l'informatique quantique, Ying-Ming Chan a dit qu'il y en a trop, le principal est difficile à réaliser des erreurs de calcul quantiques dues décohérence de l'état quantique. 1997 physicien théoricien Alexei Kitaev proposé quantique topologique calcul peut éviter de telles erreurs, l'idée est un coup de génie. La raison est appelée calcul quantique topologique est utilisé en raison de la nature de la topologie.
Enfin, il faut Mingsheng, a déclaré: pense personnellement que l'informatique quantique peut être la chose la plus révolutionnaire dans la science informatique depuis longtemps, Surtout l'espoir jeune génération de saisir cette occasion. Maintenant, l'informatique quantique nous donne une occasion rare, Si nous manquons cette occasion, après des décennies de manuels ouverts peuvent encore pas beaucoup de notre contribution.
Ce qui suit est le texte intégral de l'interview.
Chaque jour, la machine humaine forcée « l'apprentissage profond » qu'il ne peut pas nécessairement prêt à « l'apprentissage en profondeur »
« Quantum ordinateur n'est pas une condition nécessaire à une forte AI n'est pas connue, mais probablement pas une condition suffisante. Réalisation du soi-disant » IA forte «je crains que la vitesse n'est pas la seule contrainte. »
[Nouveau] Chi Yuan La nouvelle version de AlphaGo Ke Jie a battu en Wuzhen avec TPU 2 calcul de force puissante et des algorithmes d'apprentissage de renforcement. système informatique quantique, il y aura TPU et les architectures GPU telle chose?
[Devrait] Ming-sheng Je vous remercie de votre invitation. Je n'ai pas être d'expérience interviewée avant. Acceptez votre entrevue avec les personnes âgées mentales veulent parfois porter une nouvelle robe est la même. Mais maintenant, un certain regret, parce que la première question que vous me demandiez de répondre à bien, un gâchis. Les médias parlent toujours lorsque l'application de nouvelles informatique quantique dans l'apprentissage de la machine, et l'apprentissage machine quantique a été très animée est en effet une direction de recherche, mais ce ne sont pas mes principaux domaines de recherche, les connaissances dont je dispose, je ne peux que voir parler de littérature sur l'observation. Quantum Computation et Neural Network, dès il y a dix ans au sujet d'un journal pas très bien connu publié un numéro spécial. Mais une étude plus sérieuse des choses au cours des dernières années, je pense qu'il était un ordinateur quantique pour mieux former le réseau de neurones n'a pas encore bien compris, de savoir si l'informatique quantique peut mieux gérer les graphiques, les images, presque n'a pas eu sérieux la recherche. De plus, même en théorie, un bon résultat, de l'application pratique aussi prendre très longtemps. Par conséquent, à l'avenir, il y aura si le montant de la TPU et le GPU, je ne sais pas.
[Nouveau] Chi Yuan Dans un ordinateur quantique ou d'un algorithme d'apprentissage automatique de l'algorithme d'apprentissage en profondeur sera quel genre de développement?
Mingsheng [devrait] Comme déjà mentionné, la machine récente quantique d'apprentissage très occupé. Les gens dans ce domaine et on ne pense pas susceptible d'être différent, en fait, il se compose de deux directions: l'une est l'application des méthodes d'apprentissage de la machine en physique quantique, qui est l'objet d'étude sera le monde quantique. Comme nous le savons tous, une source importante de données est le grand nombre de scientifiques. Ainsi, le processus d'apprentissage d'aide peut usiner les données de la physique quantique viennent? Bien sûr, les algorithmes d'apprentissage machine, y compris une étude approfondie devrait être utile, y compris, mais pas directement, parce qu'une partie seulement de l'information obtenue en mesurant un système quantique, et après l'état de mesure est modifiée pour prédire leur comportement plus difficile. Cela s'applique à la nécessité de développer une méthode unique d'objets d'apprentissage dans le monde quantique.
Un autre aspect est que les tâches d'apprentissage et généralement des tâches d'apprentissage de la machine exactement le même, mais l'espoir de trouver un algorithme plus rapide que les algorithmes informatiques quantique classique. Ceci est une zone très difficile, mais il y a eu un bon travail, tels que l'analyse des composants principaux, etc. SethLloyd (PCA) algorithme quantique, Microsoft tente de faire quelques érudits de la machine quantique de Boltzmann, l'apprentissage en profondeur quantique. Mais la zone de travail est toujours pas assez, mais aussi à l'utilisation nécessite une étude approfondie. Ainsi, ce progrès dans les domaines direction pour le développement sain d'une discipline est pas nécessairement une bonne chose. Les lecteurs intéressés peuvent regarder Scott Aaronson a publié un article de revue dans la nature physique de 2015.
Récemment, l'ensemble de l'industrie informatique partout parlent de l'apprentissage de la machine, l'apprentissage en profondeur. Je pense que le jeune pourrait envisager de faire l'apprentissage de la machine quantique, parce que cette région vient de commencer, ainsi que la possibilité d'apporter une contribution fondamentale. Bien sûr, en plus d'entrer dans le domaine des aspects d'apprentissage de la machine de connaissances, mais aussi la connaissance de la zone d'information quantique. Mais un jeune homme a passé quelques années à faire « l'apprentissage en profondeur » plutôt que de se précipiter pour envoyer beaucoup de papier pourrait être une bonne chose. Joke, les humains sont très intéressants, tous les jours, la machine forçant « l'apprentissage profond » qu'il ne peut pas nécessairement prêt à « l'apprentissage en profondeur. »
[Nouveau] Chi Yuan Les ordinateurs quantiques sont actuellement appartiennent à une catégorie de machine de Turing?
Mingsheng [devrait] Cela dépend de votre catégorie « machine de Turing » fait référence à ce qu'il est. Modèle mathématique de calcul quantique est le milieu de David Deustch défini la machine de Turing quantique des années 1980, qui, avec la machine de Turing classique cadre conceptuel est le même, mais une différence essentielle est que sa transition d'état interne suit les lois de la mécanique quantique, de la unitaire ( unitay) transformation de caractérisation.
Soit dit en passant, une drôle de chose. l'architecture informatique Von Neumann est bien connu, et von Neumann est également le fondateur de la base mathématique de la mécanique quantique, mais il ne pense pas un ordinateur quantique. Turing à un très jeune âge assisté à la mécanique quantique, mais il ne définit pas directement la machine de Turing quantique. Il semble que von Neumann et Turing une si grande personne également soumise aux temps.
À l'exception de l'apprentissage machine quantique et d'autres aspects de l'IA quantique sans aucun progrès substantiel
« Si seulement l'histoire de l'humanité Bacon, Aristote n'est pas impensable. Par conséquent, l'avenir logique AI renaîtra sous une nouvelle forme. »
[Nouveau] Chi Yuan ordinateur quantique, en cas de succès, quel genre d'impact du développement renforcera sa puissance de calcul de l'intelligence artificielle? ordinateur quantique est une condition sine qua non si nous voulons atteindre l'intelligence artificielle de forte qu'elle?
[Devrait] Mingsheng déjà parlé de ce que l'informatique quantique et l'apprentissage machine combinés. En ce qui concerne l'impact sur l'ensemble de l'informatique quantique de l'intelligence artificielle de, on pourrait avoir des attentes élevées. L'une des raisons est probablement il y a Google et la NASA quelques années l'intelligence artificielle mis en place Quantum Laboratory. Une autre raison peut être exactement en même temps et Quantum Computation AI feu vers le haut au point de temps. En fait, il y a 18 ans, les systèmes intelligents IEEE spécialement organisés pour discuter, s'il vous plaît peu après fait IJCAI avant calcul quantique Tutorial, 2010 Nian AMOC m'a écrit une fois étude de terrain. Je veux dire est que le progrès scientifique est en fait très lent. Après tant d'années, en plus de l'apprentissage de la machine quantique mentionnée précédente, l'intelligence artificielle et d'autres aspects de la quantique on ne voyait aucun progrès substantiel. À titre d'exemple, si l'informatique quantique ont un avantage sur l'informatique classique dans le raisonnement? Jusqu'à présent, aucune recherche sérieuse pour voir. Bien sûr, vous pouvez dire que l'apprentissage de la machine est une sorte de raisonnement inductif, le raisonnement déductif, mais quoi? Si seulement l'histoire de l'humanité Bacon, Aristote n'est pas impensable. Par conséquent, l'avenir LogicalAI renaîtra sous une nouvelle forme. Et si une aide informatique quantique AI logique, personne n'a sérieusement étudié.
Maintenant, savoir que le calcul quantique par rapport à l'informatique classique, l'avantage de la vitesse. La réalisation du soi-disant « IA forte », je crains que la vitesse n'est pas la seule contrainte. Par conséquent, une condition nécessaire pour un ordinateur quantique IA est pas forte, je ne sais pas, mais probablement pas une condition suffisante.
Pourquoi est-ce que nous devons dire « ordinateur quantique que l'ordinateur maintenant »?
« Faire mieux avec le « ordinateur quantique que l'ordinateur maintenant »n'est pas la même chose. Dans le cas contraire, maintenant AlphaGo vaincu Jie Ke, on peut dire que l'intelligence artificielle au-delà de l'homme. Sur une chose. »
[Nouveau] nouveau Chi Chi Yuan Yuan a été rapporté dans le USTC « premier ordinateur au-delà de l'ordinateur quantique classique la première lumière est né dans le monde. » À votre avis, un ordinateur quantique que les ordinateurs d'aujourd'hui, ainsi que quels sont les défis, combien de temps il peut être atteint?
[Devrait] Mingsheng USTC calcul des expériences de recherche en matière de communication quantique et quantique est très respectable.
Vous dites « ordinateur quantique que les ordinateurs d'aujourd'hui », mais cette comparaison générale de l'informatique de calcul classique et quantique est en réalité pas nécessairement appropriés. Bien sûr, certains algorithmes quantiques ont été trouvés, ce qui indique qu'il ya beaucoup de problèmes dans les ordinateurs quantiques mieux qu'un ordinateur classique. Cependant, nous savons déjà que pour certains problèmes, les ordinateurs quantiques et il n'y a aucun avantage.
Je suppose que vous posez cette question parce que Google a récemment parlé de la « suprématie quantique » [les répondants Note: ne pas traduire le mot en chinois, parce que les Chinois voient est pas nécessairement la traduction appropriée]. Google et IBM prévoient de faire 49, le processeur 50 qubits ou demain à la fin de cette année. Après avoir estimé qu'un tel ordinateur quantique est déjà possible de faire une partie de l'ordinateur existant ne peut pas faire une chose, une chose Google est sélectionnée démo échantillonnage Boson.
Cependant, mieux et « ordinateur quantique que les ordinateurs d'aujourd'hui » sur une chose pas la même chose. Dans le cas contraire, maintenant AlphaGo vaincu Jie Ke, on peut dire que l'intelligence artificielle au-delà de l'homme.
Même si nous avons maintenant des ordinateurs quantiques à grande échelle, il est difficile de dire « ordinateur quantique que les ordinateurs d'aujourd'hui. » Existantes de l'informatique et de la technologie du matériel au logiciel, l'industrie informatique mondiale est l'accumulation du nombre de personnes de 50 ou 60 ans? Au-delà de plus facile à dire qu'à faire?
Je dis cela ne veut pas dire qu'aucun quantique futur calcul. Au contraire, je me sens personnellement que l'informatique quantique peut être la chose la plus révolutionnaire dans la science informatique depuis longtemps, en particulier l'espoir jeune génération à saisir cette occasion.
Pourquoi est-ce que nous devons dire « ordinateur quantique que l'ordinateur maintenant »? Lorsque les ordinateurs existants apparus, les gens ne savent pas combien utiles, maintenant une grande variété d'applications sont alors pensé progressivement, sinon comment Watson dire seulement 5 ordinateurs marché mondial? Informatique et Intelligence artificielle ne pense pas que ce soit dans l'application de ce genre de plus en plus en elle?
L'avenir de l'industrie du logiciel et peut même être supérieur au matériel quantique, et le manque de grandes entreprises nationales impliquées dans le domaine informatique
« Physiciens font seuls les efforts de calcul quantique ne sont évidemment pas assez, les informaticiens impliqués ne sont pas difficiles à bien faire. »
[Nouveau] Chi Yuan De nombreux pays attachent une grande importance à des ordinateurs quantiques, tels que la Chine, les États-Unis, en Europe et en Australie vous sont situés. De votre point de vue, l'objet de la recherche entre les différents pays,? Une fois en ligne pour voir le soi-disant « principale communication quantique de la Chine, l'informatique quantique principal Amérique », comment voyez-vous?
Mingsheng [devrait] Je ne sais pas, « principale communication quantique chinois, l'informatique quantique, le principal des États-Unis » cet argument. Nous savons tous que l'ordinateur est le cur de la technologie de l'information. Comme un grand pays comme la Chine ne devrait pas et ne peut jamais faire l'informatique quantique. En fait, calculé en termes d'expériences de physique quantique, la Chine a fait des très bons résultats.
Comme différentes études se concentrent entre les pays, bien sûr, lié à la mise en page de l'administration du gouvernement. Mais une grande raison est la tradition et accumulé de chercheurs de divers pays. Industrie spécialisée dans la chirurgie, vous ne pouvez pas demander à un scientifique de faire hier la communication quantique, l'informatique quantique peut faire aujourd'hui, aujourd'hui faire de l'informatique quantique en utilisant des méthodes optiques, supraconducteurs demain, après-demain avec iontrap.
Une chose que je veux parler de se concentrer sur. Physiciens font seuls les efforts de calcul quantique ne sont évidemment pas assez, les informaticiens ne participent pas, il est difficile de bien faire. Aux États-Unis, l'Europe, l'étude soigneusement conçue à partir d'une architecture informatique quantique, algorithmes quantiques et de la complexité, il y a des gens dans le programme quantique. Et les physiciens et informaticiens souvent discuté sous un même toit.
Cependant, quantum de la recherche nationale de calcul du point de vue de la science informatique est essentiellement un blanc. Ceci est pour notre pays d'être compétitif dans le domaine de l'informatique quantique est évidemment défavorable. De l'avenir de l'industrie, peut-être le marché du logiciel quantique ultime est encore plus grande que le matériel. Des disciplines, les disciplines de la science informatique manuel branches ouvertes, les chercheurs chinois ont présenté les concepts de base et trop peu d'idées, parce que les années soixante et soixante-dix, quand la montée de ces branche disciplines, notre pays est dans la Révolution culturelle, les scientifiques ont début en mesure de participer à ces disciplines pour créer. Maintenant, l'informatique quantique nous donne une occasion rare, si nous ratons cette occasion, après des décennies de manuels ouverts peuvent encore pas beaucoup de notre contribution. En outre, la formation du personnel est aussi extrêmement important. Même si la Chine fait des ordinateurs quantiques sont mieux que d'autres pays, s'il n'y a pas ingénieur logiciel quantique, je crains qu'il soit difficile de dire que nous gagnons dans cette compétition. Les professionnels du logiciel Quantum ont besoin de connaissances multidisciplinaires, et donc pas facile de former ensemble.
J'ai récemment passé beaucoup de temps et d'efforts dans le pays pour pousser l'équipe et l'organisation de l'informatique quantique d'un point de vue de la science informatique, nous espérons avoir un certain succès.
[Nouveau] Chi Yuan Les grandes entreprises à faire l'informatique quantique, Microsoft, Google, Intel et IBM et d'autres entreprises ont investi des dizaines de millions de dollars la recherche informatique quantique, comment voyez-vous l'industrie et du milieu universitaire dans ce domaine leurs efforts? Ces grandes entreprises qui force l'informatique quantique plus forte?
Mingsheng [devrait] Microsoft, Google, Intel et IBM et d'autres entreprises ne peuvent pas investir des millions de dollars, mais les ressources beaucoup plus importantes.
Je faisais des recherches théoriques, avec peu de contacts avec l'industrie, de sorte que l'industrie ne comprend pas la profondeur. Mais toujours pensé que l'informatique quantique est certainement l'industrie basée sur la technologie pratique ultime. À l'heure actuelle, les grandes entreprises ne sont pas activement impliqués dans la recherche informatique quantique, pour notre pays à soutenir la concurrence dans ce domaine devrait être défavorable. Je pense qu'une raison fondamentale est que Microsoft, Google, Intel, IBM a une très bonne scientifiques (y compris faire des recherches scientifiques de base), mais je industrie nationale est encore un manque de ce talent. Mais maintenant, le pays a un certain nombre de grande taille et de la force de l'entreprise, je suis sûr qu'ils vont bientôt participer.
Étant donné que ces grandes entreprises qui force l'informatique quantique plus forte? Ils utilisent différents itinéraires techniques, tels que les semi-conducteurs, superconducteurs, bit quantique topologique, il y a entreprise démarrage avec piège à ions. Mais pour la physique expérimentale, je suis un profane, de ne pas faire une évaluation incorrecte.
Comment faire un matériel informatique quantique est un grand défi
« L'informatique quantique est topologiques pour éviter l'état quantique faux décohérence Shenlaizhibi »
[Nouveau] Chi Yuan L'informatique quantique est actuellement le plus grand défi quoi? quantique topologiques informatique récemment reçu plus d'attention au deuxième semestre de l'université l'année dernière Tsinghua a également mis en place un centre de technologie de l'information quantique topologique, calcul quantique topologique, l'informatique quantique est de résoudre le problème de celui-ci?
Mingsheng [devrait] défi informatique quantique est trop. Bien sûr, comment faire un matériel informatique quantique est un grand défi, qui est maintenant les physiciens tentent de le faire. Une fois que vous avez un ordinateur quantique, comment faire bon usage que ce sera un énorme défi pour les informaticiens.
Université de Tsinghua a mis en place un centre de technologie de l'information quantique topologique qui est une bonne chose, mais je ne sais pas.
Une difficulté majeure est le calcul de l'erreur quantique provoquée par l'état quantique décohésion. 1997 physicien théoricien Alexei Kitaev proposé quantique topologique calcul peut éviter de telles erreurs, l'idée est un coup de génie. La raison est appelée calcul quantique topologique est utilisé en raison de la nature de la topologie.
[Nouveau] Chi Yuan Il n'y a pas longtemps, « papier Nature décrit un petit ordinateur quantique programmable, un bits quantiques 5, qui est le premier ordinateur quantique programmable du monde. » Mais nous avons également été rapporté IBM fait 16 qubit processeur quantique. Où est la difficulté de programmer un ordinateur quantique est-ce?
Mingsheng [devrait] IBM n'a pas dit qu'ils ne peuvent pas être programmés 16/17 processeur qubit, non?
Comme les difficultés de programmation quantique? Un de mes amis m'a dit que, il semble programmation quantique juste à la méthode de programmation existante est simple et transplanter, envisage également impératif, langage de programmation fonctionnelle. Dans ce cas, il sauverait des problèmes. Malheureusement, les choses ne sont pas si simples. Dans un sens, le langage de programmation est la langue de communication entre l'homme et la machine. langage de programmation quantique du contact humain avec l'ordinateur quantique, les gens à cette fin n'a pas changé (je ne l'ai pas entendu parler d'une « nouvelle race Quantum »), à l'exception que l'une des extrémités de la machine. Par conséquent, certaines personnes pensent à ce côté appliquent encore. La partie dure homme-machine convertissait « classique » de la fin « quantique » que fin. Même au niveau conceptuel, il est aussi plus difficile à comprendre que la programmation classique, parce que les considérations de programmation classiques est le peuple « classique » à la connexion « classique » entre les machines. Quelques questions que j'ai pensé pendant toutes ces années à titre d'exemple. Contrôle du flux du programme si elle est quantique, récursivité sera comme? L'intrication quantique en parallèle, programme distribué ce jeu de rôle? Si vous allez à cette fin de la route de la machine, il existe des moyens d'optimiser un ensemble de circuit classique, mais le circuit quantique en plus le cas d'un qubit savent déjà comment faire, le cas de plusieurs qubits de nombreuses années, il n'y a pas de progrès substantiels.
intérêts et de l'expérience de recherche individuels
« Nous avons vu une chose intéressante: une partie de la nature holistique de l'automate dépend en fait essentiellement sur la logique sous-jacente de la loi distributive, mais il n'y a pas de logique globale quantique loi distributive. »
[Nouveau] Chi Yuan Il contient des informations sur Internet avant le site officiel de l'Université de Tsinghua, nous comprenons que votre recherche est le calcul quantique et la programmation quantique, vous pouvez nous parler de votre truc de recherche spécifique?
Mingsheng [devrait] Je suis les 10 dernières années, l'intérêt principal de recherche dans la programmation quantique. A la fois les aspects théoriques actuels des études internationales, il y a des études aussi au niveau technique.
Théorie, la recherche quantique programmation essentiellement fonctionnelle et programme quantique impératif. La première théorie est PeterSelinger et autres pays développés, ce dernier est surtout pour nous aider à mettre en place, y compris le modèle de programmation quantique, l'analyse du programme quantique et de vérification. Il est à noter que plus ce dernier concerne les caractéristiques essentielles du système quantique.
Cependant, la programmation logique est appropriée pour le calcul quantique, est actuellement inconnue. Cette question devrait être discuté avec l'informatique quantique précédent s'il y a des problèmes à la relation d'aide LogicalAI. Il y a quelque temps que quelqu'un m'a envoyé un article en essayant de faire le programme logique quantique, évidemment sans succès.
Aspects techniques, dès dans les années nonante sur la définition d'un langage de programmation simple quantique. L'étude est vraiment grave se produit après 2010, en particulier Microsoft a publié un langage de programmation quantique Liqui | > . Deux autres impact relativement important de la langue est Quipper et l'Université de Princeton, et d'autres unités PeterSelinger ensemble de la conception et la mise en uvre de la Échafaudage. Récemment, la conception et la mise en uvre d'un environnement de programmation quantique sont la base de nos nombreuses années de groupes de recherche théoriques, y compris la conception d'un langage de programmation quantique et le compilateur, l'informatique quantique et quantique analyse des programmes de simulation et de vérification des outils.
[Nouveau] Chi Yuan Votre commande pour construire un modèle mathématique de calcul quantique, l'originalité et le développement initial proposé de la théorie de la logique de calcul quantique. Vous pouvez introduire la recherche dans ce do la région?
Mingsheng [devrait] Tout d'abord, je vous ai déjà parlé, modèle mathématique informatique quantique David Deutsch, etc. Dans les a été créé milieu des années 1980, pas ce que je fais. J'essaie de comprendre son fondement logique. En second lieu, la « originalité » est surfaite mot, je ne peux pas accepter. Plus précisément, von Neumann dans les années 1930, comme la logique booléenne ne reconnaît pas le monde quantique à suivre, la logique quantique ainsi proposé. Ma question à considérer est: Quelle est la différence essentiellement basée sur la théorie des automates de la logique quantique et théorie des automates basée sur la logique booléenne? Nous avons vu une chose intéressante: certaines des propriétés en vrac des automates (tels que l'incertitude de la simulation d'automates déterministe de la fonction automatique) avéré être dépend essentiellement de la logique sous-jacente de la loi distributive. Mais il n'y a pas de logique quantique de la loi distributive mondiale (uniquement localisée).
[Nouveau] Chi Yuan Je peux vous dire comment l'année de l'Université Tsinghua, dans la province de Jiangxi pour étudier la chose? Aussi comment pouvez-vous parler de vos premières années, des mathématiques dans le domaine de chose informatique quantique?
Mingsheng [devrait] La seule chose que je veux dire est: Je aime vraiment la recherche universitaire. Cependant, en raison de contraintes de capacité, il n'a pas été en mesure de faire mon propre travail de satisfaction.
[Nouveau] Chi Yuan Pourquoi avez-vous choisi de créer un laboratoire commun avec les universités australiennes, quantique de recherche informatique il?
Mingsheng [devrait] Les choses que je veux faire une petite explication. Avant, l'Université de Technologie de Sydney (UTS) n'a pas fait le calcul quantique, mais il y a une certaine intelligence artificielle de se faire des amis. Donc, dans un sens, nous avons commencé à partir de zéro dans UTS a mis en place un centre de recherche a maintenant 12 enseignants. Je suis heureux que notre centre de recherche en complexité de calcul peut être pratique pour les petits algorithmes quantiques informatique quantique, quantique, aspects quantiques de la conception des programmes, l'apprentissage machine quantique, théorie de l'information et de la sécurité quantique, la vie privée, etc., ont une force plus forte , en particulier des jeunes qui travaillent dans l'influence internationale tout à fait. Un problème que je pense est de savoir comment unir le pays, pour aider le développement de la Chine de l'informatique quantique et le logiciel de la théorie quantique.
Pour moi personnellement, cette fois en Australie, le plus grand avantage est d'avoir suffisamment de temps et faire l'institut de recherche a besoin « solitaire », vous pouvez penser à certaines questions qu'ils veulent vraiment comprendre. Bien qu'il ne pouvait pas faire une chose satisfaisant, mais le processus est encore très agréable.
Merci!
[Introduction] devrait Mingsheng
Ying-Ming, mâle, né en 1964, informatique Laboratoire d'État clé de la science et de la technologie Ministère de la technologie intelligente et des systèmes, professeur de l'Université de Tsinghua et de doctorat tuteur, Australie Ingénierie et Technologies de l'information, calcul quantique et les systèmes intelligents Centre universitaire de Technologie de Sydney (QCIS) Professeur distingué. "Scholars Program Cheung Kong" Professeur distingué, les jeunes experts avec des contributions exceptionnelles. Il a remporté le Prix national des sciences naturelles, des sciences de la jeunesse et de la Chine Technology Award, la National Science Foundation exceptionnelle jeunesse. En 1981, il est diplômé de l'Université normale de Jiangxi Direction Fuzhou (anciennement prédécesseur College Fuzhou Teachers) Mathématiques. 2016 a servi en tant que directeur adjoint de l'Institut des logiciels, Académie chinoise des sciences universitaires, la formation de l'équipe de recherche du logiciel quantique.
Mingsheng devrait recherche d'intérêt est la base pour le calcul quantique et la théorie de la programmation de l'intelligence artificielle. Il est le "Fondements de la programmation Quantum" (Elsevier - Morgan Kaufmann 2016; traduction japonaise, Kyoritsu Publishing, 2017) et "Topologie dans le processus Calcul: approximatif et infini Correctness Évolution des programmes simultanés" (Springer-Verlag, 2001) auteur. Les 10 dernières années, il a engagé à construire les fondements de la théorie quantique de la programmation systématique, y compris le modèle de programmation peut jouer un avantage unique de l'informatique quantique, l'analyse du programme quantique et méthodes de vérification.
